Replies: 1 comment
-
|
It is still taught at Aarhus and Newcastle, and the tools are still evolving - the VDM-VSCode extension is the latest. |
Beta Was this translation helpful? Give feedback.
0 replies
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
-
I am so happy to see that this still exists. 1990's Delft University This was taught.
It was really good and I never saw it in code afterwards...
Beta Was this translation helpful? Give feedback.
All reactions