On the Feasibility of Model Checking to Validate Compiler Outputs
Documento
- Visão geral
- Pesquisas
- Identidade
- Ver todos
Visão geral
tipo
- master thesis
autores
data de publicação
- 2008-01-01
prêmio patrocinado pela
- LIBERA UNIVERSITÀ DI BOLZANO - FACOLTÀ DI SCIENZE Organização
- Technische Universitat Dresden Organização