Author:
Lopez Nestor,Simonot Marianne,Donzeau-Gouge Veronique Viguié
Publisher
Springer Berlin Heidelberg
Reference22 articles.
1. M. Abadi and L. Lamport, Conjoining Specifications, ACM Transactions on Programming Languages and Systems 17,3, 507–534, 1995.
2. Abrial J.R., The B Book. Assigning programs to Meanings, Cambridge University Press, 1996
3. Abrial J.R., Extending B without changing it, for Developing Distributed Systems, in First B conference, H. Habrias editor, 169–190, Nantes, 1996.
4. Abrial J.R., Mussat L., Specification and Design of a Transmission Protocol by successive Refinements using B, in Mathematical Methods in Program Development, Edited by M. Broy and B. Schieder, Springer-Verlag, 1997.
5. Back R.J., A calculus of refinements for program derivations, Acta Informatica 25, 593–624, 1988.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A methodological process for the design of a large system;Electronic Notes in Theoretical Computer Science;2002-12