Author:
Boiten Eerke,Derrick John
Publisher
BCS Learning & Development
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Refinement, Observation and Modification;Refinement in Z and Object-Z;2014
2. Translation of Z specifications to executable code: Application to the database domain;Information and Software Technology;2013-06
3. On a New Notion of Partial Refinement;Electronic Proceedings in Theoretical Computer Science;2013-05-24
4. Alternating simulation and IOCO;International Journal on Software Tools for Technology Transfer;2011-11-03
5. Reduction and Refinement;Electronic Notes in Theoretical Computer Science;2008-03