Introduction to VDM2, Simple AST extensions and Concurrency in VDM
https://www.powershow.com/view4/5bb3ae-N2EzO/Introduction_to_VDM2_Simple_AST_extensions_and_Concurrency_in_VDM_powerpoint_ppt_presentation
Icons create by Freepik from www.flaticon.com/
