:quality(100))
imagem ilustrativa
Model checking software
Não Informado
Salvar edição
Compartilhar
- Editora: Springer Nature B.V.
- Ano: 2005
- ISBN: 9783540281955
- Model checking software
Descrição: This volume contains the proceedings of the 12th International SPIN Wo- shop on Model Checking of Software, held in... Veja mais