Mostrando 1 - 2 Resultados de 2 Para Buscar 'Lahiri, Shuvendu', tiempo de consulta: 0.05s Limitar resultados
1
Runtime Verification
por Lahiri, Shuvendu, Reger, Giles
Publicado 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Enlace del recurso
Agregar a favoritos
Guardado en:
2
Automated Technology for Verification and Analysis
por Lahiri, Shuvendu K., Wang, Chao
Publicado 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Enlace del recurso
Agregar a favoritos
Guardado en:
Herramientas de búsqueda: RSS — Enviar por Correo electrónico esta Búsqueda