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)

http://www.ecs.soton.ac.uk/~mal/avocs03/




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

Valid HTML 4.01!