Hardware and Software: Verification and Testing

Citation:
Eder, K., J. M. Lourenço, and O. Shehory, "Hardware and Software: Verification and Testing", Haifa Verification Conference, Haifa, Israel, Springer Berlin / Heidelberg, 2011.

Abstract:

n/a

Notes:

n/a