Đang hiển thị 1 - 2 kết quả của 2 cho tìm kiếm 'Lahiri, Shuvendu', Forespørselstid: 0.02s Tinh chỉnh kết quả
1
Runtime Verification
af Lahiri, Shuvendu, Reger, Giles
Udgivet 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Få fuldtekst
Føj til favoritter
Đã lưu trong:
2
Automated Technology for Verification and Analysis
af Lahiri, Shuvendu K., Wang, Chao
Udgivet 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Få fuldtekst
Føj til favoritter
Đã lưu trong:
Søgeredskaber: ”Modtag RSS Feed — Email denne søgning