@Inproceedings{EPTCS338.4, author = {van Beusekom, Rutger and de Jonge, Bert and Hoogendijk, Paul and Nieuwenhuizen, Jan}, year = {2021}, title = {Dezyne: Paving the Way to Practical Formal Software Engineering}, editor = {Proen\c{c}a, Jos\'e and Paskevich, Andrei}, booktitle = {{\rm Proceedings of the 6th Workshop on} Formal Integrated Development Environment, {\rm Held online, 24-25th May 2021}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {338}, publisher = {Open Publishing Association}, pages = {19-30}, doi = {10.4204/EPTCS.338.4}, }