Andrew Healy
According to our database1,
Andrew Healy
authored at least 2 papers
in 2016.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2016
Proceedings of the Third Workshop on Formal Integrated Development Environment, 2016
Evaluating the use of a general-purpose benchmark suite for domain-specific SMT-solving.
Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016