MetateM: A framework for programming in temporal logic
- Howard Barringer
- , Michael Fisher
- , Dov Gabbay
- , Graham Gough
- , Richard Owens
- University of Manchester
- Imperial College London
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
72
Scopus
citations