Sciweavers

EMSOFT
2001
Springer

Verification of Embedded Software: Problems and Perspectives

13 years 8 months ago
Verification of Embedded Software: Problems and Perspectives
Patrick Cousot, Radhia Cousot
Added 28 Jul 2010
Updated 28 Jul 2010
Type Conference
Year 2001
Where EMSOFT
Authors Patrick Cousot, Radhia Cousot
Comments (0)