Structuring for the VDM Specification Language

@inproceedings{Bear1988StructuringFT,
  title={Structuring for the VDM Specification Language},
  author={Stephen Bear},
  booktitle={VDM Europe},
  year={1988}
}

From This Paper

Topics from this paper.

Citations

Publications citing this paper.

Similar Papers

Loading similar papers…