کتاب های João Lourenço
درباره نویسنده
Architecting Dependable Systems II
Michel Wermelinger, Georgios Koutsoukos, Hugo Lourenço, Richard Avillez, João Gouveia (auth.), Rogério de Lemos, Cristina Gacek, Alexander Romanovsky (eds.), 2004
Hardware and Software: Verification and Testing: 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers
Armin Biere (auth.), Kerstin Eder, João Lourenço, Onn Shehory (eds.), 2012
