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.
Portail INRIA.HAL.SCIENCE Les publications, logiciels... des scientifiques Inria |
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