A mostrar 1 - 2 resultados de 2 para a pesquisa 'D'Souza, Deepak', tempo de pesquisa: 0.03seg Refinar resultados
1
Automated Technology for Verification and Analysis
Por D'Souza, Deepak, Kumar, K. Narayan
Publicado em 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Obter o texto integral
Adic. favoritos
Na minha lista:
2
Verification, Model Checking, and Abstract Interpretation: 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Obter o texto integral
Adic. favoritos
Na minha lista:
Ferramentas de pesquisa: Obter Feed RSS — Enviar pesquisa por email