1 citations · 1 across the 4 of their papers we have counts for
1 paper · 1 filter
Jonas Lund, Lucas Bjarke Jensen, Nick Battle +2
The VDM-PlantUML Plugin enables translations between the text based UML tool PlantUML and VDM++ and has been released as a part of the VDM VSCode extension. This enhances already e…