acm sigbed
|
emsoft
|
participants
Alastair Reid
EMSOFT 2003: 3rd International Conference on Embedded Software
Eliminating Stack Overflow by Abstract Interpretation
John Regehr
,
Alastair Reid
, and
Kirk Webb
10.1007/978-3-540-45212-6_20
https://alastairreid.github.io/papers/emsoft03-preprint.pdf