Author:
Laibinis Linas,Troubitsyna Elena,Leppänen Sari
Publisher
Springer Berlin Heidelberg
Reference12 articles.
1. Abrial, J.-R.: The B-Book. Cambridge University Press, Cambridge (1996)
2. Abrial, J.-R.: Extending B without Changing it (for Developing Distributed Systems). In: Proceedings of 1st Conference on the B Method, Nantes, France, pp. 169–191. Springer, Heidelberg (1996)
3. Abrial, J.-R., Cansell, D., Mery, D.: A mechanically proved and Incremental development of IEEE 1394 Tree Identity Protocol. Formal Aspects of Computing 14, 215–227 (2003)
4. Clearsy. AtelierB: User and Reference Manuals,
http://www.atelierb.societe.com/index_uk.html
5. Lecture Notes in Computer Science;L. Laibinis,2006
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献