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

@inproceedings{Drr1993RoleOV,
  title={Role of VDM(++) in the Development of a Real-Time Tracking and Tracing System},
  author={Eug{\`e}ne D{\"u}rr and E. M. Dusink},
  booktitle={FME},
  year={1993}
}