Showing 1 - 2 results of 2 for search 'Lahiri, Shuvendu', query time: 0.03s Refine Results
1
Runtime Verification
by Lahiri, Shuvendu, Reger, Giles
Published 2020
Institutions: Thư viện Trường Đại học Đà Lạt
Get full text
Save to List
Saved in:
2
Automated Technology for Verification and Analysis
by Lahiri, Shuvendu K., Wang, Chao
Published 2020
Institutions: Thư viện Trường Đại học Đà Lạt
Get full text
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search