Towards Component-Based Reuse for Event-B

Andrew Edmunds, Colin Snook, Marina Walden

Research output: Book/Journal/ReportCommissioned reportProfessional

Search results