Livro: Automated technology for verification and analysis - Não Informado

imagem ilustrativa

Salvar edição

Não informado | 2009

Descrição: This volume contains the papers presented at the 7th International Symposium on Automated Technologyfor Veri?cation... Veja mais

Automated technology for verification and analysis