Skip to contents Barner, Sharon [Editor]; Harris, Ian [Other]; Kroening, Daniel [Other]; Raz, Orna [Other] ; International Haifa Verification Conference 6 2010 Haifa Hardware and software: verification and testing : 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010 ; revised selected papers Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2011 Published in: Lecture notes in computer science ; 6504 Barner, Sharon [Author] ; Harris, Ian [Other]; Kroening, Daniel [Other]; Raz, Orna [Other] Hardware and Software: Verification and Testing : 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011 Published in: Lecture notes in computer science ; 6504
Barner, Sharon [Editor]; Harris, Ian [Other]; Kroening, Daniel [Other]; Raz, Orna [Other] ; International Haifa Verification Conference 6 2010 Haifa Hardware and software: verification and testing : 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010 ; revised selected papers Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2011 Published in: Lecture notes in computer science ; 6504
Barner, Sharon [Author] ; Harris, Ian [Other]; Kroening, Daniel [Other]; Raz, Orna [Other] Hardware and Software: Verification and Testing : 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011 Published in: Lecture notes in computer science ; 6504
> Location Skip to next facet Departmental Library DrePunct (1) Wert ausschließen Show more show less
> Subject Skip to next facet Computer science (1) Wert ausschließen Mathmatics (1) Wert ausschließen Show more show less
> Creator Skip to next facet Barner, Sharon (2) Wert ausschließen Harris, Ian (2) Wert ausschließen Kroening, Daniel (2) Wert ausschließen Raz, Orna (2) Wert ausschließen International Haifa Verification Conference 6 2010 Haifa (1) Wert ausschließen Show more show less