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

imagem ilustrativa

Salvar edição

Não informado | 2007

Descrição: This book constitutes the refereed proceedings of the 5th International Symposium on Automated Technology for Verif... Veja mais

Automated technology for verification and analysis