Dynamic Sets and Their Application in VDM

Shaoying Liu, John A. McDermid

Computer Science

Research output: Contribution to conference › Paper › peer-review

Original language	English
Pages	187-192
Publication status	Published - 1993

Access to Document

http://doi.acm.org/10.1145/162754.162865

Cite this