Conference Papers
Year : 2007
Frédéric Dadeau : Connect in order to contact the contributor
https://inria.hal.science/inria-00329977
Submitted on : Monday, October 13, 2008-5:14:00 PM
Last modification on : Tuesday, September 19, 2023-1:26:03 PM
Dates and versions
Identifiers
- HAL Id : inria-00329977 , version 1
Cite
Jean-François Couchot, Frédéric Dadeau. Guiding the Correction of Parameterized Specifications. 6th international conference on integrated Formal Methods (iFM'07), Jul 2007, Oxford, United Kingdom. ⟨inria-00329977⟩
88
View
0
Download