×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [properties contracts]
Home >
properties contracts
Verification of Model Transformations for Real Verifying Model Transformations for Real Levi Lúcio work done jointly with: Bentley James Oakes, McGill.
226 views