AboutSign inJoin

Tom Maibaum

About

Thomas Stephen Edward Maibaum Fellow of the Royal Society of Arts (FRSA) is a computer scientist.

Books

FM 2008: Formal Methods
FM 2008: Formal Methods
Tom Maibaum, Jorge Cuellar
Formal Methods at the Crossroads. From Panacea to Foundational Support
Formal Methods at the Crossroads. From Panacea to Foundational Support
Tom Maibaum, Bernhard K. Aichernig
Formal Methods and Software Engineering
Formal Methods and Software Engineering
Shaoying Liu, Tom Maibaum, Keijiro Araki

Join the club

Track what you're reading, see what your friends are into and explore the ideas of the world's greatest authors together.

Download on the App StoreDownload on the Google Play Store
... or sign up right here
Company
  • About
  • Partners
  • Careers
  • Press
  • Legal
  • Privacy
Social
  • Twitter
  • Instagram
  • Facebook
  • TikTok
Support
  • FAQ
  • Changelog
  • Feature ideas
  • API
  • Widget
  • Contact
App
  • iPhone app
  • Android app
Help us
  • Become a Patron
  • Become a Librarian