acm sigbed
|
emsoft
|
participants
Radhia Cousot
EMSOFT 2001: 1st International Workshop on Embedded Software
Verification of Embedded Software: Problems and Perspectives
Patrick Cousot
and
Radhia Cousot
10.1007/3-540-45449-7_8
https://www.di.ens.fr/~cousot/publications.www/CousotCousot-EMSOFT01-lg.pdf