Publisher
Springer Berlin Heidelberg
Cited by
14 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. State-Based Languages: Z and B;Refinement;2018
2. Conclusions;Refinement in Z and Object-Z;2014
3. Combining Formal Methods for the Development of Reactive Systems;ACM Transactions on Embedded Computing Systems;2013-01
4. Investigating a file transfer protocol using CSP and B;Software & Systems Modeling;2005-07
5. Deriving Software Specifications from Event Based Models;ZB 2000: Formal Specification and Development in Z and B;2000