Showing 1 - 2 results of 2 for search '"Formal methods (Computer science)"', query time: 0.01s Refine Results
  1. 1

    Industrial-strength formal methods in practice

    Published 1999
    Subjects: “…Formal methods (Computer science)…”
    Book
  2. 2

    Software specification methods :

    Published 2001
    Subjects: “…Formal methods (Computer science)…”
    Book