| emsoft | participants

Adolfo Anta Martinez

EMSOFT 2010: 10th International Conference on Embedded Software

Automatic Verification of Control System Implementations

Adolfo Anta Martinez, Rupak Majumdar, Indranil Saha, and Paulo Tabuada