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

23:00
Monday
19
Dec
2016
Highlight
Teams: 
Highlight description: 

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