David Greenaway
According to our database1,
David Greenaway
authored at least 7 papers
between 2010 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2010
2012
2014
2016
2018
2020
2022
2024
0
1
2
3
1
1
1
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
2016
2014
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014
2013
Proceedings of the Formal Methods and Software Engineering, 2013
2012
Proceedings of the Interactive Theorem Proving - Third International Conference, 2012
2010
Proceedings of the 5th International Workshop on Systems Software Verification, 2010