Towards Component-Based Reuse for Event-B

Andrew Edmunds, Colin Snook, Marina Walden

Research output: Book/Journal/ReportCommissioned reportProfessional

Fingerprint

Dive into the research topics of 'Towards Component-Based Reuse for Event-B'. Together they form a unique fingerprint.

Engineering & Materials Science