@inproceedings{e9eddf97e0f6428e98e059b8ab2cf018,
title = "A Generalised Spreadsheet Verification Methodology",
author = "N. Randolph and John Morris and G. Lee",
year = "2002",
language = "English",
isbn = "0909925828",
volume = "4",
pages = "215--222",
editor = "Oudshoorn and M Roddick and J.F",
booktitle = "Proceedings of the Twenty-Fifth Australasian Computer Science Conference",
publisher = "Australian Computer Society",
address = "Australia",
edition = "Melbourne",
note = "A Generalised Spreadsheet Verification Methodology ; Conference date: 01-01-2002",
}