Facilitating Formal Event-B Development by Visual Component-based Design

Sergii Ostroumov, Marina Walden

Research output: Book/Journal/ReportCommissioned reportProfessional

Fingerprint

Dive into the research topics of 'Facilitating Formal Event-B Development by Visual Component-based Design'. Together they form a unique fingerprint.

Engineering & Materials Science