A generalization of Dijkstra's calculus
ACM Transactions on Programming Languages and Systems (TOPLAS)
The logic of propagation in the inscape environment
TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
Structuring Z specifications with views
ACM Transactions on Software Engineering and Methodology (TOSEM)
Refining by architectural styles or architecting by refinements
ISAW '96 Joint proceedings of the second international software architecture workshop (ISAW-2) and international workshop on multiple perspectives in software development (Viewpoints '96) on SIGSOFT '96 workshops
Completeness in formal specification language design for process-control systems
FMSP '00 Proceedings of the third workshop on Formal methods in software practice
Algebraic Methods for Optimization Problems
Revised Lectures from the International Summer School and Workshop on Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
Revised Lectures from the International Summer School and Workshop on Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
How to Write a Healthiness Condition
IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
Algebraic methods for optimization problems
Algebraic and coalgebraic methods in the mathematics of program construction
Algebraic and coalgebraic methods in the mathematics of program construction
Assertions: A Personal Perspective
IEEE Annals of the History of Computing
Declarative specification and declarative programming
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
The Denotational Semantics of slotted-Circus
FM '09 Proceedings of the 2nd World Congress on Formal Methods
Slotted-circus: a UTP-family of reactive theories
IFM'07 Proceedings of the 6th international conference on Integrated formal methods
ICTAC'10 Proceedings of the 7th International colloquium conference on Theoretical aspects of computing
Saoithín: a theorem prover for UTP
UTP'10 Proceedings of the Third international conference on Unifying theories of programming
A Theory of Synchronous Relational Interfaces
ACM Transactions on Programming Languages and Systems (TOPLAS)
A unified theory of program logics: an approach based on the π-calculus
VoCS'08 Proceedings of the 2008 international conference on Visions of Computer Science: BCS International Academic Conference
A UTP semantics of pGCL as a homogeneous relation
IFM'12 Proceedings of the 9th international conference on Integrated Formal Methods
Set-theoretic models of computations
Theories of Programming and Formal Methods
Hi-index | 0.00 |