VSL 2014 : Vienna Summer of Logic in association with CAV 2014 : 2nd VeriSure workshop: Verification and Assurance (VERISURE’14), 23 July 2014, Vienna, Austria, 23 juli 2014
Publication type
Conference lecture
Please use this identifier to cite or link to this item: https://hdl.handle.net/2066/135060