IDA Dept. of Computer and Information science, Linköping University

IDA Technical Reports, 1997

Last updated: Tue, 02 Dec 1997 11:03:02

Bonnier, S. and Heyer, T. (1997). COMPASS: A Comprehensible Assertion Method. Technical Report LiTH-IDA-R-97-01, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).

Goto (at Linköping University):
CS Dept TR Overview
Maintained by webmaster