Limit your results by one or more filters
Show ONLY these Publication Types:
Show ONLY these Authors:
Show ONLY these Years:
Select all on page
Author: Narodytska, Nina; Legg, Alexander; Bacchus, Fahiem; Ryzhyk, Leonid; Walker, Adam Christopher
Date of Publication: 2014-07-19
Conference Name: International Conference on Computer Aided Verification (CAV), Vienna, Austria