Proceedings of the ACM Sigplan Workshop on Verification and Computational Logic VCL'2001


Leuschel, Michael, Podelski, Andreas, Ramakrishnan, C.R. and Ultes-Nitsche, Ulrich (2001) Proceedings of the ACM Sigplan Workshop on Verification and Computational Logic VCL'2001. UNSPECIFIED , 109pp.

Download

Full text not available from this repository.

Item Type: Conference or Workshop Item (UNSPECIFIED)
Divisions: Faculty of Physical Sciences and Engineering > Electronics and Computer Science
ePrint ID: 256021
Date Deposited: 11 Sep 2001
Last Modified: 27 Mar 2014 19:58
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/256021

Actions (login required)

View Item View Item