Sciweavers

48
Voted
TPHOL
2000
IEEE

Specification and Verification of a Steam-Boiler with Signal-Coq

15 years 11 days ago
Specification and Verification of a Steam-Boiler with Signal-Coq
Mickaël Kerboeuf, David Nowak, Jean-Pierre Ta
Added 25 Aug 2010
Updated 25 Aug 2010
Type Conference
Year 2000
Where TPHOL
Authors Mickaël Kerboeuf, David Nowak, Jean-Pierre Talpin
Comments (0)