VSL 2014: VIENNA SUMMER OF LOGIC 2014
Sebastian Nielebock
Organization: Chair of Software Engineering (CSE) Institute of Distributed Systems - Faculty of Computer Science - Otto-von-Guericke-University Magdeburg
Pages in this Program
Program
Program for Wednesday, July 23rd, 2014
VeriSure on Wednesday, July 23rd, 2014
VeriSure Program