autores
- Pedro Manuel Rangel Santos Henriques
- Cruz, Daniela da
- Da Cruz, D.
- Henriques, P.
- Pinto, J.S.
GamaSlicer: An online laboratory for program verification and analysis
Artigo de Conferência
- Visão geral
- Pesquisas
- Identidade
- Ver Todos
Visão geral
data de publicação
- janeiro 1, 2010