Reasoning about spreadsheets with labels and dimensions

Chris Chambers, Martin Erwig. Reasoning about spreadsheets with labels and dimensions. Journal of Computer Languages, 21(5):249-262, 2010. [doi]

Abstract

Abstract is missing.