Prototyping with Temporal VDM: A Status Report.

Heping He, Hussein Zedan

Browse the full FM paper archive.