Jyotirmoy Deshmukh, Dejan Ničković. <br/><br/>
Runtime Verification : 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6-9, 2020, Proceedings 

 - Cham  Springer  2020 
<br/><br/><label>ISBN: </label>9783030605087 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Software engineering. Mathematical logic. Computer logic. Artificial intelligence. Algorithms. Programming languages (Electronic computers). Software Engineering. Mathematical Logic and Formal Languages. Logics and Meanings of Programs. Artificial Intelligence. Algorithm Analysis and Problem Complexity. Programming Languages, Compilers, Interpreters.