Prototyping and verfication with rules and strategies
Abstract
This talk presents some results obtained at LORIA on prototyping and verification using the ELAN system.
INRIA.HAL.SCIENCE Web Portal Publications, softwares... of Inria fellow Academics |
Publications Loria : Connect in order to contact the contributor
https://inria.hal.science/inria-00100678
Submitted on : Tuesday, September 26, 2006-2:49:03 PM
Last modification on : Friday, March 24, 2023-2:52:48 PM