VDM over PSP: A Pilot Course for VDM Beginners to Confirm its Suitability for Their Development.

Hisayuki Suzumori, Haruhiko Kaiya, Kenji Kaijiri

Browse the full COMPSAC paper archive.