Hana Chockler
Autor(a) de Validation of evolving software
Obras por Hana Chockler
Hardware and Software: Verification and Testing: 4th International Haifa Verification Conference, HVC 2008, Haifa,… (2009) 2 exemplares
Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference,… (2018) 1 exemplar
Etiquetado
Conhecimento Comum
There is no Common Knowledge data for this author yet. You can help.
Membros
Estatísticas
- Obras
- 5
- Membros
- 9
- Popularidade
- #968,587
- ISBN
- 8
- Línguas
- 1