Affiliated to NASA Formal Methods 2021

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.