Title
|
|
|
|
A tridimensional approach for studying the formal verification of model transformations
| |
Author
|
|
|
|
| |
Language
|
|
|
|
English
| |
Source (book)
|
|
|
|
IEEE International Conference on Software Testing, Verification and Validation (ICST), 2012
| |
Publication
|
|
|
|
S.l.
:
2012
| |
Volume/pages
|
|
|
|
p. 921-928
| |
|