Abstract State Machines, Alloy, B and Z, Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings
Résumé
no abstract
no abstract
Connectez-vous pour contacter le contributeur
https://hal.science/hal-01224643
Soumis le : mercredi 4 novembre 2015-22:50:28
Dernière modification le : lundi 17 novembre 2025-08:42:03