Towards Component-based Reuse for Event-B

Andrew Edmunds, Marina Walden, Colin Snook

Research output: Chapter in Book/Conference proceedingConference contributionScientific

Filter
Finished

Search results