Languages
Giannakopoulou, Dimitra.
Overview
| Works: | 1 works in 3 publications in 1 languages | |
|---|---|---|
Titles
Verified software = theories, tools and experiments : 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014 : revised selected papers /
by:
Giannakopoulou, Dimitra.; Kroening, Daniel.; SpringerLink (Online service)
(Electronic resources)
Software engineering and formal methods = 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014 : proceedings /
by:
Giannakopoulou, Dimitra.; Salaun, Gwen.; SpringerLink (Online service)
(Electronic resources)
FM 2012 = formal methods : 18th International Symposium, Paris, France, August 27-31, 2012 : proceedings /
by:
Giannakopoulou, Dimitra.; Mery, Dominique.; SpringerLink (Online service)
(Electronic resources)
Fundamental approaches to software engineering = 14th 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:
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- Quality control
Artificial Intelligence (incl. Robotics)
Programming Languages, Compilers, Interpreters.
Formal methods (Computer science)
Computer Science.
Computer Communication Networks.
Computer software- Verification