Languages
Giannakopoulou, Dimitra.
Overview
Works: | 1 works in 1 publications in 1 languages |
---|
Titles
Software engineering and formal methods[electronic resource] :12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014 : proceedings /
by:
Clark Conference ((2005 :); Giannakopoulou, Dimitra.; Salaun, Gwen.; SpringerLink (Online service)
(Language materials, printed)