Refinement Calculus for Logic Programming in Isabelle/HOL
TPHOLs '01 Proceedings of the 14th International Conference on Theorem Proving in Higher Order Logics
A Formal Basis for a Program Compilation Proof Tool
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
A refinement calculus for logic programs
Theory and Practice of Logic Programming
Calculating modules in contextual logic program refinement
Theory and Practice of Logic Programming
Hi-index | 0.00 |