Developing Ada Programs Using the Vienna Development Method (VDA)

M. I. Jackson. Developing Ada Programs Using the Vienna Development Method (VDA). Software: Practice and Experience, 15(3):305-318, 1985.

@article{Jackson85,
  title = {Developing Ada Programs Using the Vienna Development Method (VDA)},
  author = {M. I. Jackson},
  year = {1985},
  researchr = {https://researchr.org/publication/Jackson85},
  cites = {0},
  citedby = {0},
  journal = {Software: Practice and Experience},
  volume = {15},
  number = {3},
  pages = {305-318},
}