Mostra 1 - 2 risultati di 2 ricerca 'Lahiri, Shuvendu', tempo di risposta: 0,03s Raffina i risultati
1
Runtime Verification
di Lahiri, Shuvendu, Reger, Giles
Pubblicazione 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Testo
Aggiungi alla lista
Salvato in:
2
Automated Technology for Verification and Analysis
di Lahiri, Shuvendu K., Wang, Chao
Pubblicazione 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Testo
Aggiungi alla lista
Salvato in:
Strumenti per la ricerca: Feed RSS — Invia questa ricerca per email