Observational proofs with critical contexts (1998)

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