Observational Proofs with Critical Contexts (1998)

Cached

Download Links

by Narjes Berregeb , Adel Bouhoula , Michael Rusinowitch
Venue:In Fundamental Approaches to Software Engineering
Citations:24 - 3 self