June 20, 2015 June 2015 - Paper on "Automatic Verification of Linear Controller Software" has been accepted at the 15th ACM SIGBED International Conference on Embedded Software (EMSOFT'15)!
