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