Program verification using ada - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Andrew D. McGettrick. Program verification using ada. Volume 13 of Cambridge computer science texts, Cambridge University Press, 1982.

@book{0066731,
  title = {Program verification using ada},
  author = {Andrew D. McGettrick},
  year = {1982},
  researchr = {https://researchr.org/publication/0066731},
  cites = {0},
  citedby = {0},
  volume = {13},
  series = {Cambridge computer science texts},
  publisher = {Cambridge University Press},
  isbn = {978-0-521-28531-5},
}

runs on WebDSL