Paper Info
Title
Formal Methods: A Panacea or Academic Poppycock?
Abstract
Without Abstract
Year
DOI
Venue
1997
10.1007/BFb0027280
ZUM
Keywords
Field
DocType
academic poppycock,formal methods,formal method
Computer science,Panacea (medicine),Knowledge management,Formal methods,Logic programming,Formal verification
Conference
ISBN
Citations 
PageRank 
3-540-62717-0
4
0.49
References 
Authors
7
1
Name
Order
Citations
PageRank
Constance L. Heitmeyer1898151.71