Author:
Broy Manfred,Merz Stephan,Spies Katharina
Publisher
Springer Berlin Heidelberg
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Formal Methods;Texts in Theoretical Computer Science. An EATCS Series;2022
2. VerifyThis 2012;International Journal on Software Tools for Technology Transfer;2015-08-18
3. A high-level modular definition of the semantics of C♯;Theoretical Computer Science;2005-05
4. IEEE 1394 Tree Identify Protocol: Introduction to the Case Study;Formal Aspects of Computing;2003-04
5. Combating Infinite State Using Ergo;Formal Techniques for Networked and Distributed Systems - FORTE 2003;2003