Observational Proofs with Critical Contexts (1998)

by Narjes Berregeb, Adel Bouhoula, Michael Rusinowitch
Venue:In Fundamental Approaches to Software Engineering