Gwen Salaün - Special Issue of the Formal Aspects of Computing Journal (SEFM'14)

Mardi
20
Déc
2016
Fait marquant
Équipes : 
Description du fait marquant : 

Special Issue of the Formal Aspects of Computing Journal on Software Engineering and Formal Methods (SEFM'14)
Dimitra Giannakopoulou, Gwen Salaün, and Michael Butler