Reasoning about Hand Prinited FORTRAN Programs - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Richard Bornat. Reasoning about Hand Prinited FORTRAN Programs. In AISB (ECAI). pages 38-46, 1976.

@inproceedings{Bornat76,
  title = {Reasoning about Hand Prinited FORTRAN Programs},
  author = {Richard Bornat},
  year = {1976},
  researchr = {https://researchr.org/publication/Bornat76},
  cites = {0},
  citedby = {0},
  pages = {38-46},
  booktitle = {AISB (ECAI)},
}

runs on WebDSL