Simon Hudon
Affiliations:- York University, Toronto, Canada
According to our database1,
Simon Hudon
authored at least 8 papers
between 2011 and 2020.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2020
Proc. ACM Program. Lang., 2020
2019
Proceedings of the 10th International Conference on Interactive Theorem Proving, 2019
2016
2015
Proceedings of the Proceedings 4th International Workshop on Engineering Safety and Security Systems, 2015
2013
Proceedings of the Integrated Formal Methods, 10th International Conference, 2013
Proceedings of the Formal Techniques for Safety-Critical Systems, 2013
Proceedings of the Formal Techniques for Safety-Critical Systems, 2013
2011
Proceedings of the B 2011 Workshop, 2011