Shuvendu K. Lahiri

No bio available. Add one in Open Library.

Books by Shuvendu K. Lahiri (50 max)

+ shelf+ list

Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II

2020

Shuvendu K. Lahiri

+ shelf+ list

Automated Technology for Verification and Analysis 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018. Proceedings

2018

Shuvendu K. Lahiri, Chao Wang