autores
- Pedro Manuel Rangel Santos Henriques
- Cruz, Daniela da
- Da Cruz, D.
- Henriques, P.R.
- Pinto, J.S.
Interactive verification of safety-critical software
Artigo de Conferência
- Visão geral
- Pesquisas
- Identidade
- Informação adicional documento
- Ver Todos
Visão geral
data de publicação
- janeiro 1, 2013