Edson Landim
According to our database1,
Edson Landim
authored at least 2 papers
between 2011 and 2012.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2012
2011
On the Specification, Verification and Implementation of Model Transformations with Transformation Contracts.
Proceedings of the Formal Methods, Foundations and Applications - 14th Brazilian Symposium, 2011