Languages
Giannakopoulou, Dimitra.
Overview
| Works: | 8 works in 3 publications in 1 languages | |
|---|---|---|
Titles
FM 2012formal methods : 18th International Symposium, Paris, France, August 27-31, 2012 : proceedings /
by:
(1998 :); Giannakopoulou, Dimitra.; Mery, Dominique.; SpringerLink (Online service)
(Electronic resources)
Software engineering and formal methods12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014 : proceedings /
by:
(1998 :); Giannakopoulou, Dimitra.; Salaun, Gwen.; SpringerLink (Online service)
(Electronic resources)
Verified softwaretheories, tools and experiments : 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014 : revised selected papers /
by:
(1998 :); Giannakopoulou, Dimitra.; Kroening, Daniel.; SpringerLink (Online service)
(Electronic resources)
Fundamental approaches to software engineering14th International Conference, FASE 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrucken, Germany, March 26-April 3, 2011 : proceedings /
by:
(1998 :); Giannakopoulou, Dimitra.; Orejas, Fernando.; SpringerLink (Online service)
(Electronic resources)
Subjects
Software engineering
Software Engineering.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Compilers (Computer programs)
Programming Techniques.
Management of Computing and Information Systems.
Computation by Abstract Devices.
Computer software
Artificial Intelligence (incl. Robotics)
Programming Languages, Compilers, Interpreters.
Formal methods (Computer science)
Computer Science.
Computer Communication Networks.