Christopher Griggs
According to our database1,
Christopher Griggs
authored at least 2 papers
between 2017 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
BMC Medical Informatics Decis. Mak., December, 2023
2017
Identifying Security Critical Properties for the Dynamic Verification of a Processor.
Proceedings of the Twenty-Second International Conference on Architectural Support for Programming Languages and Operating Systems, 2017