On the Verification of VDM Specification and Refinement with PVS - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Savi Maharaj, Juan Bicarregui. On the Verification of VDM Specification and Refinement with PVS. In ASE. pages 280, 1997. [doi]

@inproceedings{MaharajB97,
  title = {On the Verification of VDM Specification and Refinement with PVS},
  author = {Savi Maharaj and Juan Bicarregui},
  year = {1997},
  url = {http://computer.org/proceedings/ase/7961/79610280abs.htm},
  tags = {refinement},
  researchr = {https://researchr.org/publication/MaharajB97},
  cites = {0},
  citedby = {0},
  pages = {280},
  booktitle = {ASE},
}

runs on WebDSL