Publisher
Springer Berlin Heidelberg
Reference12 articles.
1. J-R. Abrial. The B-Book. Cambridge University Press, 1995.
2. R.J.R. Back and M.J. Butler. Fusion and simultaneous substitution in the refinement calculus. Acta Informatica, 35(11):921–940, 1998.
3. Lect Notes Comput Sci;J.C. Bicarregui,1993
4. J.C. Bicarregui. Operation semantics with read and write frames. In Sixth Refinement Workshop, Workshops in Computer Science. Springer-Verlag, 1994.
5. J.C. Bicarregui. Intra-Modular Structuring in Model-oriented Specification: Expressing non-interference with read and write frames. PhD thesis, Manchester University, Computer Science, June 1995. UMCS-95-10-1.
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献