autores
- Frade, MJ
- Lourenço, CB
- Frade, MJ
- Nakajima, S
- Pinto, JS
A Generalized Approach to Verification Condition Generation
Artigo de Conferência
- Visão geral
- Identidade
- Ver Todos
Visão geral
data de publicação
- janeiro 1, 2018