acm sigbed
|
emsoft
|
participants
Gerard J. Holzmann
EMSOFT 2011: 11th International Conference on Embedded Software
Software Certification: Coding, Code, and Coders
Klaus Havelund
and
Gerard J. Holzmann
10.1145/2038642.2038674
https://www.havelund.com/Publications/emsoft-2011.pdf