According to our database1, James Snook authored at least 2 papers between 2017 and 2018.
Legend:Book In proceedings Article PhD thesis Other
Developing A New Language to Construct Algebraic Hierarchies for Event-B.
Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2018
Formal Development of Policing Functions for Intelligent Systems.
Proceedings of the 28th IEEE International Symposium on Software Reliability Engineering, 2017