Technical Report DSSE-TR-2001-3
Declarative Systems and Software Engineering
Research Group

Proceedings of the Second International Workshop on

Verification and Computational Logic


Michael Leuschel, Andreas Podelski, C.R. Ramakrishnan, Ulrich Ultes-Nitsche (editors)


Invited Papers:

Regular Papers:

Michael Leuschel
Declarative Systems & Software Engineering Group
Department of Electronics and Computer Science
University of Southampton