EasyChair Smart Slide
Transforming an industrial case study from VDM++ to VDM-SL
Transforming an industrial case study from VDM++ to VDM-SL