Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Formal methods: the very idea;Science of Computer Programming;2002-01
2. Formal Methods:;Electronic Notes in Theoretical Computer Science;1999
3. E;Concise Encyclopedia of Software Engineering;1993
4. A specification and verification tool for communication protocols;Computing in the 90's;1991
5. PLEASE: Executable specifications for incremental software development;Journal of Systems and Software;1989-09