From runtime verification to evolvable systems
- Howard Barringer
- , Dov Gabbay
- , David Rydeheard
- University of Manchester
- King's College London
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
14
Scopus
citations