Jeffrey Terrell
Affiliations:- King's College London, UK
According to our database1,
Jeffrey Terrell
authored at least 4 papers
between 2010 and 2014.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2014
Correct-by-construction synthesis of model transformations using transformation patterns.
Softw. Syst. Model., 2014
2013
Proceedings of the Proceedings 10th International Workshop on Formal Engineering Approaches to Software Components and Architectures, 2013
2010
Correct-by-Construction Model Transformations from Partially Ordered Specifications in Coq.
Proceedings of the Formal Methods and Software Engineering, 2010