Computer Aided Verification  30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I 

<br/><br/><br/>English[eng] 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science||Computer logic||Software engineering||Artificial intelligence||Mathematical logic||Algorithms||Computer simulation