Formal methods state of the art and future directions.

Detaylı Bibliyografya
Yayımlandı:	ACM computing surveys. 28, 4 (1996).
Yazar:	Clarke, Edmund M.
Diğer Yazarlar:	Wing, Jeanneth M.
Materyal Türü:	Makale
Dil:	English
Konular:	Computing Milieux. Management of Computing and Information Systems. General Literature. Software. Software Engineering. Theory of Computation. Mathematical logic and formal languages. Algorithms. Design. Languages. Performance. Reliability. Theory. Verification.