Monday, 23 May 2021, in the F-IDE 2021 workshop
Affiliated to NASA Formal Methods 2021
Verum will explain the latest status of the Dezyne IDE: “Paving the Way to Practical Formal Software Engineering”.
For details about “6th Workshop on Formal Integrated Development Environment”
check: https://lnkd.in/decwnng or https://lnkd.in/dZK_SXZ.