Modelling evolvable component systems: Part I: A logical framework
- Howard Barringer
- , Dov Gabbay
- , David Rydeheard
- University of Manchester
- King's College London
Research output: Contribution to journal › Article › peer-review
3
Scopus
citations