acm sigbed
|
emsoft
|
participants
Mahesh Viswanathan
EMSOFT 2013: 13th International Conference on Embedded Software
Verification of Annotated Models From Executions
Parasara Sridhar Duggirala
,
Sayan Mitra
, and
Mahesh Viswanathan
10.1109/EMSOFT.2013.6658604
http://mitras.ece.illinois.edu/research/2013/EMSOFT2013.pdf