Automatic generation and maintenance of correct spreadsheets

Martin Erwig, Robin Abraham, Irene Cooperstein, Steve Kollmansberger. Automatic generation and maintenance of correct spreadsheets. In Gruia-Catalin Roman, William G. Griswold, Bashar Nuseibeh, editors, 27th International Conference on Software Engineering (ICSE 2005), 15-21 May 2005, St. Louis, Missouri, USA. pages 136-145, ACM, 2005. [doi]

Abstract

Abstract is missing.