A calculus of program modifications
Proceedings of the 1997 symposium on Software reusability
Relational characterizations of system fault tolerance
Science of Computer Programming
Acta Cybernetica
Pointfree factorization of operation refinement
FM'06 Proceedings of the 14th international conference on Formal Methods
Hi-index | 0.00 |