Hardware and Software: Verification and Testing Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007, Proceedings /

Saved in:
Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Yorav, Karen. (Editor, http://id.loc.gov/vocabulary/relators/edt)
Format: Electronic eBook
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008.
Edition:1st ed. 2008.
Series:Programming and Software Engineering ; 4899
Subjects:
Online Access:https://doi.org/10.1007/978-3-540-77966-7
Tags: Add Tag
No Tags, Be the first to tag this record!