| Publication | Date of Publication | Type |
|---|
Guarded operations, refinement and simulation
Electronic Notes in Theoretical Computer Science | 2016-08-01 | Paper |
General refinement. II: Flexible refinement
Electronic Notes in Theoretical Computer Science | 2014-03-26 | Paper |
General refinement. I: Interfaces, determinism and special refinement
Electronic Notes in Theoretical Computer Science | 2014-03-26 | Paper |
Generic tools via general refinement
Electronic Notes in Theoretical Computer Science | 2014-01-24 | Paper |
Contexts, refinement and determinism
Science of Computer Programming | 2011-06-06 | Paper |
Refinement for user interface designs
Formal Aspects of Computing | 2010-01-04 | Paper |
Data refinement and singleton failures refinement are not equivalent
Formal Aspects of Computing | 2008-06-25 | Paper |
| scientific article; zbMATH DE number 5200721 (Why is no real title available?) | 2007-10-15 | Paper |
Automated Technology for Verification and Analysis
Lecture Notes in Computer Science | 2006-10-25 | Paper |
CONFLICTS AND FAIR TESTING
International Journal of Foundations of Computer Science | 2006-08-21 | Paper |
| scientific article; zbMATH DE number 2172807 (Why is no real title available?) | 2006-06-02 | Paper |
Theoretical Aspects of Computing - ICTAC 2004
Lecture Notes in Computer Science | 2005-11-30 | Paper |
A logic for schema-based program development
Formal Aspects of Computing | 2005-02-08 | Paper |
| scientific article; zbMATH DE number 2079819 (Why is no real title available?) | 2004-07-30 | Paper |
| scientific article; zbMATH DE number 2052653 (Why is no real title available?) | 2004-03-08 | Paper |
| scientific article; zbMATH DE number 2013579 (Why is no real title available?) | 2003-12-04 | Paper |
| scientific article; zbMATH DE number 1949612 (Why is no real title available?) | 2003-07-15 | Paper |
Constructive Mathematics in Theory and Programming Practice
Philosophia Mathematica | 2001-10-30 | Paper |
Revising \(Z\). I: Logic and semantics
Formal Aspects of Computing | 2001-02-18 | Paper |
Investigating Z
Journal Of Logic And Computation | 2000-12-05 | Paper |
Revising \(Z\). II: Logical development
Formal Aspects of Computing | 2000-05-07 | Paper |
| scientific article; zbMATH DE number 1303992 (Why is no real title available?) | 1999-11-02 | Paper |
| scientific article; zbMATH DE number 1104398 (Why is no real title available?) | 1998-05-03 | Paper |
| scientific article; zbMATH DE number 1104401 (Why is no real title available?) | 1998-04-01 | Paper |
