Encontrado 1 documento, a visualizar página 1 de 1

Ordenado por Data
ir para a primeira página ir para a página anterior
ir para a página: 1
ir para a página seguinte ir para a última página
rss feed resultados pesquisa

A comparative study of verification condition generators

Fialho, Diogo; Pinto, Jorge Sousa

We propose an empirical comparison of two VCGen algorithms for imperative languages

Data: 2008   |   Origem: RepositóriUM - Universidade do Minho
Mais info.
ir para a primeira página ir para a página anterior
ir para a página: 1
ir para a página seguinte ir para a última página
rss feed resultados pesquisa

1 Resultados

Texto Pesquisado

Refinar resultados

Autor



Data


Tipo de Documento


Recurso


Assunto






    Financiadores do RCAAP
Fundação para a Ciência e a Tecnologia Universidade do Minho   Governo Português Ministério da Educação e Ciência Programa Operacional da Sociedade do Conhecimento União Europeia