:quality(100))
imagem ilustrativa
Model checking software
Não Informado
Salvar edição
Compartilhar
- Editora: Springer Nature B.V.
- Ano: 2001
- ISBN: 9783540421245
- Model checking software
Descrição: This book constitutes the refereed proceedings of the 8th International SPIN Workshop held in Toronto, Canada, in M... Veja mais