Author/Creator: Lahiri, Shuvendu - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

Author/Creator Lahiri, Shuvendu

1. Automated technology for verification and analysis : 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings /: 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings. (2018)

Editors:: Lahiri, Shuvendu; Wang, Chao, 1985-
Other Names:: ATVA (Symposium), 16th
Record Type:: Book
Extent:: 1 online resource (xiii, 560 pages), illustrations
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

2. Computer aided verification : 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020 : proceedings.: 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020 : proceedings. Part II ([2020])

Editors:: Lahiri, Shuvendu; Wang, Chao, 1985-
Other Names:: CAV (Conference), 32nd
Record Type:: Book
Extent:: 1 online resource
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

3. Runtime verification : 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings /: 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings. (2017)

Editors:: Lahiri, Shuvendu; Reger, Giles
Other Names:: RV (Conference), 17th
Record Type:: Book
Extent:: 1 online resource (xix, 432 pages), illustrations
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗