Colin M. O'Halloran

Orcid: 0009-0003-1977-3687

According to our database¹, Colin M. O'Halloran authored at least 1 paper in 2007.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2007

Formalising C and C++ for Use in High Integrity Systems.

[DOI]

Proceedings of the Safety of Systems, 2007