João Lourenço
2 published titles
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
- ISBN: 9783642341878
- Springer
- 2012
- Details
Multicore software engineering, performance, and tools : international conference, MUSEPAT 2013, St. Petersburg, Russia, August 19- 20, 2013, proceedings
(Contributor)
1 edition
- ISBN: 9783642399541
- Springer
- 2013
- Details
