Towards verified programming of embedded devices

Jean-Pierre Talpin, Jean-Joseph Marty, Shravan Narayan, Deian Stefan, Rajesh Gupta. Towards verified programming of embedded devices. In Design, Automation & Test in Europe Conference & Exhibition, DATE 2019, Florence, Italy, March 25-29, 2019. pages 1445-1450, IEEE, 2019. [doi]

Abstract

Abstract is missing.