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

Sergii Ostroumov, Marina Walden

Forskningsoutput: Bok/tidskrift/rapportBeställd rapportProfessionell

Fingeravtryck

Fördjupa i forskningsämnen för ”Facilitating Formal Event-B Development by Visual Component-based Design”. Tillsammans bildar de ett unikt fingeravtryck.

Keyphrases

Computer Science