Editorials details

HVC 2011 — Hardware and Software: Verification and Testing

Jan 2012

Type Editorial:

Journal:

Publisher: Springer Berlin Heidelberg

Authors: João Lourenço, Kerstin Eder, Onn Shehory

Editors:

Series: LNCS

Volume: 7261

Number:

ISSN:

ISBN:

Url: http://dx.doi.org/10.1007/978-3-642-34188-5

Notes: CITI Type: 1 CITI Notes: Proceedings of HVC 2011 (Haifa Verification Conference)

Bibtex Key:

DOI:

Publication Date: 1 Jan 2012

Publication File: