A Generalised Spreadsheet Verification Methodology (2002)

by John Morris, See Profile, Nick Randolph, John Morris, Gareth Lee
Venue:Proc. Twenty-Fifth Australasian Computer Science Conference (ACSC2002), Conferences in Research and Practice in Information Technology 4