Entry Smith:1972:PVP from compj.bib

Last update: Sun Nov 30 02:31:30 MST 2003                Valid HTML 3.2!

Index sections

Top | Symbols | Numbers | Math | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z

BibTeX entry

@Article{Smith:1972:PVP,
  author =       "J. Meredith Smith",
  title =        "Proof and validation of program correctness",
  journal =      j-COMP-J,
  volume =       "15",
  number =       "2",
  pages =        "130--131",
  month =        may,
  year =         "1972",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Fri Sep 29 08:52:02 MDT 2000",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_15/Issue_02/",
  note =         "See note \cite{Lim:1976:PVN}.",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_15/Issue_02/150130.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_15/Issue_02/tiff/130.tif;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_15/Issue_02/tiff/131.tif",
  acknowledgement = ack-nhfb,
  classcodes =   "C4290 (Other computer theory)",
  corpsource =   "Attwood Auerbach Ltd., London, UK",
  keywords =     "mathematical; program correctness; program
                 specifications; programming theory; proof; techniques;
                 validation",
  treatment =    "T Theoretical or Mathematical",
}

Related entries