Communication Dans Un Congrès
Année : 2000
Jean-Claude Royer : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01135641
Soumis le : mercredi 25 mars 2015-15:51:28
Dernière modification le : mercredi 27 avril 2022-04:42:49
Dates et versions
Identifiants
- HAL Id : hal-01135641 , version 1
Citer
Pascal André, Annya Réquilé Romanczuk, Jean-Claude Royer, Vasconcelos Aline. Checking the Consistency of UML Class Diagrams Using Larch Prover. Third Rigorous Object-Oriented Methods Workshop, 2000, York, United Kingdom. ⟨hal-01135641⟩
Collections
36
Consultations
0
Téléchargements