Entry Lanzarone:1975:PCR 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{Lanzarone:1975:PCR,
  author =       "G. A. Lanzarone and M. Ornaghi",
  title =        "Program Construction by Refinements Preserving
                 Correctness",
  journal =      j-COMP-J,
  volume =       "18",
  number =       "1",
  pages =        "55--62",
  month =        feb,
  year =         "1975",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Tue Mar 25 13:51:56 MST 1997",
  bibsource =    "Compendex database;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_18/Issue_01/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_18/Issue_01/tiff/55.tif;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_18/Issue_01/tiff/56.tif;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_18/Issue_01/tiff/57.tif;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_18/Issue_01/tiff/58.tif;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_18/Issue_01/tiff/59.tif;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_18/Issue_01/tiff/60.tif;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_18/Issue_01/tiff/61.tif;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_18/Issue_01/tiff/62.tif",
  acknowledgement = ack-nhfb,
  classcodes =   "C4240 (Programming and algorithm theory)",
  classification = "723",
  corpsource =   "Univ. Milano, Italy",
  keywords =     "computer programming languages; flowchart program;
                 preserving correctness; program construction;
                 programming theory; refinements",
  treatment =    "T Theoretical or Mathematical",
}

Related entries