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

Sergii Ostroumov, Marina Walden

Research output: Book/Journal/ReportCommissioned reportProfessional

Search results