Publisher
Springer Science and Business Media LLC
Subject
Computer Networks and Communications,Information Systems,Software
Cited by
14 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Engineering and theoretical underpinnings of retrenchment;Science of Computer Programming;2007-07
2. Controlling Control Systems: An Application of Evolving Retrenchment;ZB 2002:Formal Specification and Development in Z and B;2002
3. Retrenchment, Refinement, and Simulation;ZB 2000: Formal Specification and Development in Z and B;2000
4. Retrenchment and Punctured Simulation;IFM’99;1999
5. Protective interface specifications;TAPSOFT '97: Theory and Practice of Software Development;1997