5 | João Lourençohttps://joaomlourenco.github.io/publication-type/5.html5Wowchemy (https://wowchemy.com)en-usSun, 01 Jan 2012 00:00:00 +0000https://joaomlourenco.github.io/media/icon_hu11734318148517933569.png5https://joaomlourenco.github.io/publication-type/5.htmlHardware and Software: Verification and Testing: 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papershttps://joaomlourenco.github.io/publications/2012_eder_lecture_notes_in_computer_science_hardware_and_software.htmlSun, 01 Jan 2012 00:00:00 +0000https://joaomlourenco.github.io/publications/2012_eder_lecture_notes_in_computer_science_hardware_and_software.html