Languages
Giannakopoulou, Dimitra.
Overview
| Works: | 2 works in 2 publications in 1 languages | |
|---|---|---|
Titles
FM 2012 = formal methods : 18th International Symposium, Paris, France, August 27-31, 2012 : proceedings /
by:
SpringerLink (Online service); Giannakopoulou, Dimitra.; Mery, Dominique.; Congress on Progress and Controversies in Oncological Urology (2000:)
(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:
Orejas, Fernando.; Giannakopoulou, Dimitra.; Congress on Progress and Controversies in Oncological Urology (2000:); SpringerLink (Online service)
(Electronic resources)
Subjects
Management of Computing and Information Systems.
Software Engineering.
Formal methods (Computer science)
Software engineering
Programming Techniques.
Computer Science.
Programming Languages, Compilers, Interpreters.
Computer Communication Networks.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Computation by Abstract Devices.