The logic of programming
Systematic software development using VDM
Systematic software development using VDM
ACM Transactions on Programming Languages and Systems (TOPLAS)
Specification case studies
A Discipline of Programming
Abstracto 84: The next generation
ACM '79 Proceedings of the 1979 annual conference
ACM Transactions on Programming Languages and Systems (TOPLAS)
Formal Methods Applied to a Floating-Point Number System
IEEE Transactions on Software Engineering
Architecture-Directed Refinement
IEEE Transactions on Software Engineering
Pigs from sausages? Reengineering from assembler to C via FermaT transformations
Science of Computer Programming - Special issue on program transformation
A refinement calculus for logic programs
Theory and Practice of Logic Programming
Slicing as a program transformation
ACM Transactions on Programming Languages and Systems (TOPLAS)
Formal behavior modeling and effective automatic refinement
Information Sciences: an International Journal
Monotone predicate transformers as up-closed multirelations
RelMiCS'06/AKA'06 Proceedings of the 9th international conference on Relational Methods in Computer Science, and 4th international conference on Applications of Kleene Algebra
Procedures in the refinement calculus: a new approach?
FAC-RW'96 Proceedings of the BCS-FACS 7th conference on Refinement
Hi-index | 0.00 |