Lindsay Groves profile picture

Lindsay Groves

Stand Alone

Formal Methods and Software Engineering: 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November ...
Formal Methods and Software Engineering 15th International Conference on Formal Engineeringmethods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013, Proceedings
Formal Methods and Software Engineering 15th International Conference on Formal EngineeringMethods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013, Proceedings
Formal Methods and Software Engineering