Runtime Verification 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings Lahiri, Shuvendu Heftet / 2017 / Engelsk
Automated Technology for Verification and Analysis 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings Lahiri, Shuvendu K. Heftet / 2018 / Engelsk
Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II Lahiri, Shuvendu K. Heftet / 2020 / Engelsk
Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I Lahiri, Shuvendu K. Heftet / 2020 / Engelsk
