Bounded model checking of temporal formulas with Alloy Artigo de Conferência

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

autores

Cunha, Alcino
Manuel Alcino Pereira da Cunha

data de publicação

janeiro 1, 2014

publicada em

Computational Methods in Applied Sciences Revista