acm sigbed
|
emsoft
|
participants
Oleg Kiselyov
EMSOFT 2004: 4th ACM International Conference on Embedded Software
A Methodology for Generating Verified Combinatorial Circuits
Oleg Kiselyov
,
Kedar N. Swadi
, and
Walid Taha
10.1145/1017753.1017794
https://github.com/maroneal/www/raw/master/publications/conference/emsoft04.pdf