Technical Report DSSE-TR-2002-5
Declarative Systems and Software Engineering
Research Group
DSSE logo

ACM logo

Proceedings of the Third International Workshop on

Verification and Computational Logic


Michael Leuschel and Ulrich Ultes-Nitsche (editors)

Declarative Systems & Software Engineering Group
Department of Electronics and Computer Science
University of Southampton
Highfield, Southampton SO17 1BJ, United Kingdom

Valid HTML 4.01!