https://sheffield.ac.uk/cs/people/academic/mike-stannett
Dr Mike Stannett | Computer Science | The University of Sheffield
Research interests: Interactive theorem proving, Isabelle/HOL, first-order models
dr mikecomputer sciencethe universitystannettsheffield
https://trainingzone.co.uk/author/lee-stannett/
Lee Stannett, Author at TrainingZone
leestannettauthor