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

Proceedings of the Second International Workshop on

Verification and Computational Logic

VCL'2001

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


Introduction:

Invited Papers:

Regular Papers:


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