MCRL2 (1) corona (3) formal model (1) general (9) java (1) scala (1)

 MCRL2 (1)

MCRL2 PGP model

 corona (3)

Next Meeting: 29 September 2021
Online Event
ETAPS & COVID-19

 formal model (1)

MCRL2 PGP model

 general (9)

Next Meeting: 29 September 2021
Online Discussion
Proceedings for the contributions available
Online Event
ETAPS & COVID-19
MCRL2 PGP model
Scala and Java Implementations
Event-B Formalisation
Challenge start

 java (1)

Scala and Java Implementations

 scala (1)

Scala and Java Implementations