Languages
Gnesi, Stefania.
Overview
| Works: | 1 works in 2 publications in 1 languages | |
|---|---|---|
Titles
Critical systemsformal methods and automated verification : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016 : proceedings /
by:
(1998 :); Beek, Maurice H. ter.; Gnesi, Stefania.; Knapp, Alexander.; SpringerLink (Online service)
(Electronic resources)
Fundamental approaches to software engineering17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014 : proceedings /
by:
(1998 :); Gnesi, Stefania.; Rensink, Arend.; SpringerLink (Online service)
(Electronic resources)
Subjects