DSSE Technical Report DSSE-TR-2003-2

DSSE logo

AVoCS logo Proceedings of the 3rd Automated Verification of Critical Systems (AVoCS’03)

April 2-3 2003, Southampton (GB)

Michael Leuschel, Stefan Gruner and Stéphane Lo Presti (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!