2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) 

 -  IEEE  2019 
<br/><br/> Proceeding 
<br/><br/><label>ISSN: </label>978-1-7281-3608-0 978-1-7281-3609-7 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computing and Processing