Valeria Bertacco

No bio available. Add one in Open Library.

Books by Valeria Bertacco (50 max)

+ shelf+ list

Scalable Hardware Verification with Symbolic Simulation

2006

Valeria Bertacco

+ shelf+ list

Hardware and Software : Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings

2013

Valeria Bertacco, Axel Legay

+ shelf+ list

Scalable Hardware Verification with Symbolic Simulation

2005

Valeria Bertacco