Craig McMillan
Orcid: 0009-0005-8002-791X
According to our database1,
Craig McMillan
authored at least 5 papers
between 2015 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2015
2016
2017
2018
2019
2020
2021
2022
2023
2024
0
1
2
1
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE), 2024
2023
Proceedings of the Formal Methods in Computer-Aided Design, 2023
2019
2017
Proceedings of the 25th IEEE International Requirements Engineering Conference, 2017
2015
Proceedings of the Applications of Evolutionary Computation - 18th European Conference, 2015