Publisher
Springer Berlin Heidelberg
Reference45 articles.
1. J.-R. Abrial, The B-Book: Assigning Programs to Meaning, Cambridge University Press, ISBN 0-521-49619, 1996.
2. Lect Notes Comput Sci;S. Agerholm,1996
3. S. Agerholm, P-J. Lecoeur and E. Reichert., Formal Specification and Validation at Work: A Case Study using VDM-SL Proceedings of Second Workshop on Formal Methods in Software Practice, Florida, ACM, March 1998.
4. Atelier B, Steria Mediterranée, The B Page URL, http://www.atelierb.societe.com/PAGE B/uk/bhomepg.htm
5. The B method (virtual library page) http://www.comlab.ox.ac.uk/archive/formal-methods/b.html .
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献