Author:
Derrick John,Boiten Eerke
Publisher
Springer Berlin Heidelberg
Reference10 articles.
1. Jean-Raymond Abrial and Louis Mussat. Specification and design of a transmission protocol by successive refinements using B. In Manfred Broy and Birgit Schieder, editors, Mathematical Methods in Program Development, volume 158 of NATO ASI Series F: Computer and Systems Sciences, pages 129–200. Springer, 1997.
2. L. Aceto. Action refinement in process algebras. CUP, London, 1992.
3. E.A. Boiten and J. Derrick. IO-refinement in Z. In 3rd BCS-FACS Northern Formal Methods Workshop, Electronic Workshops in Computing. Springer Verlag, September 1998.
4. Lect Notes Comput Sci;M. Butler,1997
5. I.J. Hayes and J.W. Sanders. Specification by interface separation. Formal Aspects of Computing, 7(4):430–439, 1995.
Cited by
16 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献