Suggested Topics within your search.
Suggested Topics within your search.
-
1
Industrial-strength formal methods in practice
Published 1999Subjects: “…Formal methods (Computer science)…”
Book -
2
Software specification methods :
Published 2001Subjects: “…Formal methods (Computer science)…”
Book