:quality(100))
imagem ilustrativa
Computer aided verification
Não Informado
Salvar edição
Compartilhar
- Editora: Springer Nature B.V.
- Ano: 1997
- ISBN: 9783540631668
- Computer aided verification
Descrição: This book constitutes the strictly refereed proceedings of the 9th International Conference on Computer Aided Verif... Veja mais