< Back to previous pagePublication A symbolic execution-based approach to model transformation verification using structural contracts Book - DissertationNumber of pages: 310Publication year:2018Authors/publisherBentley Oakes (Author)McGill University, School of Computer Science (Publisher)Research unitsCo-Design of Cyber-Physical Systems (Cosys-Lab)(Research group)University of Antwerp