The industrial use of formal methods
β
Martyn Thomas
π
Article
π
1993
π
Elsevier Science
π
English
β 668 KB