Formal methods state of the art and future directions.

書誌詳細
出版年:	ACM computing surveys. 28, 4 (1996).
第一著者:	Clarke, Edmund M.
その他の著者:	Wing, Jeanneth M.
フォーマット:	論文
言語:	English
主題:	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.