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

Document Versions

Observational Proofs with Critical Contexts –Narjes Berregeb, Adel Bouhoula, Michael Rusinowitch — 1998 — In Fundamental Approaches to Software Engineering