BibTeX record conf/acsc/RandolphML02

download as .bib file

@inproceedings{DBLP:conf/acsc/RandolphML02,
  author       = {Nick Randolph and
                  John Morris and
                  Gareth Lee},
  editor       = {Michael J. Oudshoorn},
  title        = {A Generalised Spreadsheet Verification Methodology},
  booktitle    = {Computer Science 2002, Twenty-Fifth Australasian Computer Science
                  Conference (ACSC2002), Monash University, Melbourne, Victoria, Australia,
                  January/February 2002},
  series       = {{CRPIT}},
  volume       = {4},
  pages        = {215--222},
  publisher    = {Australian Computer Society},
  year         = {2002},
  url          = {http://crpit.scem.westernsydney.edu.au/abstracts/CRPITV4Randolph.html},
  timestamp    = {Wed, 10 Feb 2021 08:45:29 +0100},
  biburl       = {https://dblp.org/rec/conf/acsc/RandolphML02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics