Hardware and software : verification and testing ; 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings / Valeria Bertacco, Axel Legay (eds.)
This book constitutes the refereed proceedings of the 9th International Haifa Verification Conference, HVC 2013, held in Haifa, Israel in November 2013. The 24 revised full papers presented were carefully reviewed and selected from 49 submissions. The papers are organized in topical sections on SAT...
Saved in:
| Online Access: |
Full Text (via Springer) |
|---|---|
| Corporate Author: | |
| Other Authors: | , |
| Other title: | HVC 2013. |
| Format: | Conference Proceeding eBook |
| Language: | English |
| Published: |
Cham :
Springer,
[2013]
|
| Series: | Lecture notes in computer science ;
8244. LNCS sublibrary. Programming and software engineering. |
| Subjects: |
Internet
Full Text (via Springer)Online
| Call Number: |
QA76.76.V47 I58 2013
|
|---|---|
| QA76.76.V47 I58 2013 | Available |