Kerstin Eder

1 published title

Hardware and software : verification and testing : 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011 : revised selected papers

(Contributor)

1 edition