Category:Formal methods publications

Publications in the computer science field of formal methods.

Pages in category "Formal methods publications"

The following 8 pages are in this category, out of 8 total. This list may not reflect recent changes.

A

Acta Informatica

F

Formal Aspects of Computing

I

Innovations in Systems and Software Engineering

J

L

Logical Methods in Computer Science

P

Prentice Hall International Series in Computer Science

U

Unifying Theories of Programming

Retrieved from "https://en.wikipedia.org/w/index.php?title=Category:Formal_methods_publications&oldid=468111380"

Uses material from the Wikipedia article Category:Formal methods publications, released under the CC BY-SA 4.0 license.