Dept. of Computer and Information science, Linköping University
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).