ATVA 2018: INTERNATIONAL SYMPOSIUM ON AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS
David Purser
Organization: The University of Warwick
Web page: https://warwick.ac.uk/davidpurser
Pages in this Program
Program
Program for Tuesday, October 9th