Publisher
Oxford University Press (OUP)
Subject
Logic,Hardware and Architecture,Arts and Humanities (miscellaneous),Software,Theoretical Computer Science
Cited by
21 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Using State Machines for the Visualisation of Specifications via Refinement;Proceedings of the ASWEC 2015 24th Australasian Software Engineering Conference;2015-09-28
2. Formal models for user interface design artefacts;Innovations in Systems and Software Engineering;2008-04-16
3. Z Logic and Its Applications;Logics of Specification Languages;2007-12-05
4. The specification logic νZ;Formal Aspects of Computing;2006-09
5. An analysis of refinement in an abortive paradigm;Formal Aspects of Computing;2006-09