Dimitra Giannakopoulou

Identifiers

Open LibraryOL7561336A

Top Subjects

Logics and Meanings of Programs (1)
Computer science (1)
Mathematical Logic and Formal Languages (1)
Computation by Abstract Devices (1)
Logic design (1)
Management of Computing and Information Systems (1)
Information Systems (1)

Books by Dimitra Giannakopoulou

Total count: 4

Fundamental Approaches to Software Engineering14th International Conference, FASE 2011, Held As Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings

Springer London, Limited2011-01-01
FM 2012: Formal Methods18th International Symposium, Paris, France, August 27-31, 2012. Proceedings

Springer Berlin Heidelberg2012-01-01
Software Engineering and Formal Methods12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings

Springer London, Limited2014-01-01
Verified Software : Theories, Tools and Experiments6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers

Springer2014-01-01