2015

Conférences invitées

• [CAC15] T. Crolard, M. Aponte, P. Courtieu, J. Lawall. "Formal Methods for Critical Systems: A verified implementation of nested procedures", International Conference on Applied Research in Computer Science and Engineering (ICAR'15), October 2015, pp.1, Lebanon, (DOI: 10.1109/ARCSE.2015.7338125)