Prototyping and verfication with rules and strategies
Résumé
This talk presents some results obtained at LORIA on prototyping and verification using the ELAN system.
Publications Loria : Connectez-vous pour contacter le contributeur
https://inria.hal.science/inria-00100678
Soumis le : mardi 26 septembre 2006-14:49:03
Dernière modification le : vendredi 24 mars 2023-14:52:48