Title
A tridimensional approach for studying the formal verification of model transformationsA tridimensional approach for studying the formal verification of model transformations
Author
Faculty/Department
Faculty of Sciences. Mathematics and Computer Science
Research group
Antwerp Systems and software Modelling (AnSyMo)
Publication type
conferenceObject
Publication
S.l. , [*]
Subject
Computer. Automation
Source (book)
IEEE International Conference on Software Testing, Verification and Validation (ICST), 2012
1
Carrier
E
Target language
English (eng)
Affiliation
University of Antwerp
Handle