Observational proofs with critical contexts

Fundamental Approaches to Software Engineering - Lecture Notes in Computer Science ◽

10.1007/bfb0053582 ◽

1998 ◽

pp. 38-53 ◽

Cited By ~ 12

Author(s):

Narjes Berregeb ◽

Adel Bouhoula ◽

MichaËl Rusinowitch

Download Full-text