TY  - RPRT
TI  - Dezyne: Paving the Way to Practical Formal Software Engineering
AU  - Rutger van Beusekom
AU  - Bert de Jonge
AU  - Paul Hoogendijk
AU  - Jan Nieuwenhuizen
PY  - 2021
DO  - 10.4204/eptcs.338.4
UR  - https://arxiv.org/abs/2108.02962
ID  - 2108.02962
ER  -