Observational Proofs with Critical Contexts (1998)
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 |
