Cargando…
Hardware and software: 10th international Haifa verification conference, HVC 2014, Haifa, Israel, November 18-20, 2014, proceedings
| Autor principal: | |
|---|---|
| Lenguaje: | eng |
| Publicado: |
Springer International Publishing AG
2014
|
| Materias: | |
| Acceso en línea: | http://cds.cern.ch/record/2757809 |