Leighton Brough
According to our database1,
Leighton Brough
authored at least 3 papers
between 2012 and 2015.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2015
Denotational trace: a category-theoretic solution to the practical problems of software execution tracing
PhD thesis, 2015
2014
Proceedings of the New Trends in Software Methodologies, Tools and Techniques, 2014
2012
Proceedings of the First International Workshop on Formal Methods in Software Engineering, 2012