×
Log in
Upload File
Most Popular
Art & Photos
Automotive
Business
Career
Design
Education
Hi-Tech
+ Browse for More
elena-planas documents
Technology
A Framework for Verifying UML Behavioral Models (CAiSE Doctoral Consortium 2009)
Technology
Two Basic Correctness Properties for ATL Transformations: Executability and Coverage (MtATL 2011)
< Prev