Observational Proofs with Critical Contexts
Résumé
Nous décrivons un systeme de preuve automatique de propriétés observationelles.
Communication Dans Un Congrès
Année : 1998
Publications Loria : Connectez-vous pour contacter le contributeur
https://inria.hal.science/inria-00098624
Soumis le : lundi 25 septembre 2006-17:04:02
Dernière modification le : vendredi 24 mars 2023-14:52:48
Dates et versions
Identifiants
- HAL Id : inria-00098624 , version 1
Citer
Narjes Berregeb, Adel Bouhoula, Michaël Rusinowitch. Observational Proofs with Critical Contexts. Fundamental Approaches to Software Engineering - ETAPS'98, 1998, Lisboa, Portugal, pp.38-53. ⟨inria-00098624⟩
Collections
40
Consultations
0
Téléchargements