Philip J. Armstrong
According to our database1, Philip J. Armstrong authored at least 5 papers between 2009 and 2016.
Legend:Book In proceedings Article PhD thesis Other
Int. J. Softw. Tools Technol. Transf., 2016
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014
Proceedings of the HOWARD-60: A Festschrift on the Occasion of Howard Barringer's 60th Birthday, 2014
Proceedings of the Computer Aided Verification - 24th International Conference, 2012
Proceedings of the Automated Technology for Verification and Analysis, 2009