Robin Abraham, Martin Erwig, Steve Kollmansberger, Ethan Seifert. Visual Specifications of Correct Spreadsheets. In 2005 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2005), 21-24 September 2005, Dallas, TX, USA. pages 189-196, IEEE Computer Society, 2005. [doi]
Abstract is missing.