Marsha Chechik, Wei Ding. Lightweight reasoning about program correctness. In Darlene A. Stewart, J. Howard Johnson, editors, Proceedings of the 2001 conference of the Centre for Advanced Studies on Collaborative Research, November 5-7, 2001, Toronto, Ontario, Canada. pages 1, IBM, 2001. [doi]
Abstract is missing.