42782718
9783319262864
Piterman, Nir is the author of 'Hardware and Software: Verification and Testing: 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings (Lecture Notes in Computer Science)', published 2015 under ISBN 9783319262864 and ISBN 3319262866.
[read more]