Tallenna
Hardware and Software: Verification and Testing
After a rigorous review process, in which each paper received at least four independent reviews from the dist- guished Program Committee, we accepted 12 regular papers and 4 tools papers for presentation at the conference and inclusion in this volume.
- Alaotsikko
- 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008, Revised Selected Papers
- Toimittaja
- Hana Chockler, Alan J. Hu
- Painos
- 2009 ed.
- ISBN
- 9783642017018
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 22.4.2009
- Sivumäärä
- 215
