Dynamic Sets and Their Application in VDM.

Shaoying Liu, John A. McDermid

Browse the full SAC paper archive.