< Terug naar vorige paginaPublicatie A symbolic execution-based approach to model transformation verification using structural contracts Boek - DissertatieAantal pagina's: 310Jaar van publicatie:2018Auteurs/uitgeverBentley Oakes (Auteur)McGill University, School of Computer Science (Uitgever)OnderzoekseenhedenCo-Design of Cyber-Physical Systems (Cosys-Lab)(Onderzoeksgroep)University of Antwerp