Linköping University

Department of Computer and Information Science

Publication Register

Articles reported during 1997
as published or accepted for publication

Subset: articles originating in RTSLAB during 1997

The IDA publication register contains information about articles written by researchers at IDA. The usual bibliographic references are combined with links to on-line copies of those articles whenever available and known.
If the article you are looking for is not in this list, then
maybe it as already reported last year - see last year's list.

014
Staffan Bonnier, Tim Heyer.
COMPASS: A Comprehensible Assertion Method.
Published in the proceedings of the 1997 International Joint Conference on Theory and Practice of Software Development, Colloquium on Formal Approaches in Software Engineering, pp. 803-817.

This page is maintained by [EMTEK]; latest update 4 August 1997.