VSL 2014: VIENNA SUMMER OF LOGIC 2014
Michael Paulitsch
Organization: Thales Group (Thales Austria GmbH)
Web site: https://www.thalesgroup.com/en
Pages in this Program
VeriSure Program Committee