Nir Piterman
2 published titles
Tools and algorithms for the construction and analysis of systems : 19th international conference, TACAS 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS
(Contributor)
1 edition
- ISBN: 9783642367410
- Springer
- 2013
- Details
Hardware and software: verification and testing : 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015 : proceedings
(Contributor)
1 edition
- ISBN: 9783319262864
- Springer
- 2015
- Details
