VIVO
Selecione um idioma
Português (Portugal)
English (United States)
Index
Formulário de pesquisa
Início
Pessoas
Organizações
Investigação
Verification conditions for single-assignment programs
Artigo Académico
Artigo de Conferência
http://www.scopus.com/inward/record.url?eid=2-s2.0-84863574192&partnerID=MN8TOARS
full text
Visão geral
Pesquisas
Identidade
Informação adicional documento
Ver Todos
Visão geral
autores
Frade, MJ
Cruz, Daniela da
Da Cruz, D.
Frade, M.J.
Pinto, J.S.
data de publicação
janeiro 1, 2012
publicada em
Proceedings of the ACM Symposium on Applied Computing
Revista
Pesquisas
palavras-chave
Deductive verification
Program verification
Single-assignment form
Identidade
Digital Object Identifier (DOI)
https://doi.org/10.1145/2245276.2231977
Informação adicional documento
Página Inicial
1264
página final
1270