Computer aided verification : 18th international conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings /
Na minha lista:
Principais autores: | CAV (Conference) (18th : 2006 : Seattle, Wash.), Ball, Thomas, Jones, Robert B. |
---|---|
Formato: | Livro |
Publicado em: |
|
Assuntos: | |
Endereço do item: | https://app.bczm.ufrn.br/home/#/item/101914 |
Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|
Registros relacionados
-
Systems and software verification : model-checking techniques and tools /
por: Bérard, Béatrice et al.
Publicado em: (2022) -
Computer aided verification /
por: Wolper, Pierre., et al.
Publicado em: (2022) -
The foundations of program verification /
por: Loeckx, Jacques,, et al.
Publicado em: (2023) -
Computer aided verification /
por: Alur, Rajeev,, et al.
Publicado em: (2022) -
Temporal verification of reactive systems : safety /
por: Manna, Zohar., et al.
Publicado em: (2022)