< Back to previous page
Publication
A tridimensional approach for studying the formal verification of model transformations
Book Contribution - Book Abstract Conference Contribution
Book: IEEE International Conference on Software Testing, Verification and Validation (ICST), 2012
Pages: 921 - 928
Publication year:2012
Keywords:P3 Proceeding
Accessibility:Closed