ACM Transactions on Programming Languages and Systems (TOPLAS)
Procedural implementation of algebraic specification
ACM Transactions on Programming Languages and Systems (TOPLAS)
Architecture-Directed Refinement
IEEE Transactions on Software Engineering
Representing WP Semantics in Isabelle/ZF
TPHOLs '99 Proceedings of the 12th International Conference on Theorem Proving in Higher Order Logics
Reasoning about recursive procedures with parameters
MERLIN '03 Proceedings of the 2003 ACM SIGPLAN workshop on Mechanized reasoning about languages with variable binding
A refinement calculus for logic programs
Theory and Practice of Logic Programming
Procedures and parameters in the real-time program refinement calculus
Science of Computer Programming
Modular verification of higher-order methods with mandatory calls specified by model programs
Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems and applications
Linking Event-B and Concurrent Object-Oriented Programs
Electronic Notes in Theoretical Computer Science (ENTCS)
Procedures in the refinement calculus: a new approach?
FAC-RW'96 Proceedings of the BCS-FACS 7th conference on Refinement
| Hi-index | 0.00 |