Role of VDM(++) in the Development of a Real-Time Tracking and Tracing System.

Eugne Drr, Liesbeth M. Dusink

Browse the full FM paper archive.