Ver Artigo · Software Fiável · Faculdade de Ciências da Universidade de Lisboa

16 Dezembro 2016, 18:30 • Antónia Lopes

Advanced Topics in Software Verification