Extended static checking by calculation using the pointfree transform Artigo de Conferência

Visão geral
Pesquisas
Identidade
Informação adicional documento
Ver Todos

autores

Oliveira, José Nuno Fonseca

data de publicação

janeiro 1, 2009

publicada em

Computational Methods in Applied Sciences Revista