Towards verified programming of embedded devices.

Jean-Pierre Talpin, Jean-Joseph Marty, Shravan Narayan, Deian Stefan, Rajesh Gupta

Browse the full DATE paper archive.