Search
2 headings found for Lahiri, Shuvendu
| Heading | Type | Sample Title | |
|---|---|---|---|
| 1 |
Lahiri, Shuvendu
|
Personal | Runtime verification, [2017]: |
| 2 |
Lahiri, Shuvendu, 19..-....
![Sudoc [ABES], France](/viaf/images/flags/SUDOC.png "Sudoc [ABES], France")
|
Personal | Computer aided verification : 32nd international conference, CAV 2020, Los Angel
...
|
