A calculus of program modifications
Proceedings of the 1997 symposium on Software reusability
Defining and Applying Measures of Distance Between Specifications
IEEE Transactions on Software Engineering
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
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
Acta Cybernetica
On the Purpose of Event-B Proof Obligations
ABZ '08 Proceedings of the 1st international conference on Abstract State Machines, B and Z
NN'10/EC'10/FS'10 Proceedings of the 11th WSEAS international conference on nural networks and 11th WSEAS international conference on evolutionary computing and 11th WSEAS international conference on Fuzzy systems
WSEAS Transactions on Mathematics
From operational to denotational demonic semantics of nondeterministic while loops
ICCOMP'06 Proceedings of the 10th WSEAS international conference on Computers
| Hi-index | 0.00 |