From VDM specifications to functional prototypes

@article{Borba1993FromVS,
  title={From VDM specifications to functional prototypes},
  author={Paulo Borba and Silvio Romero de Lemos Meira},
  journal={Journal of Systems and Software},
  year={1993},
  volume={21},
  pages={267-278}
}

From This Paper

Topics from this paper.