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 and Applied Science > Electronics and Computer Science |
| Item ID: | 256021 |
| Date Deposited: | 11 Sep 2001 |
| Last Modified: | 02 Mar 2012 14:02 |
| Contributors: | Leuschel, Michael (Author) Podelski, Andreas (Author) Ramakrishnan, C.R. (Author) Ultes-Nitsche, Ulrich (Author) |
| Date: | September 2001 |
| Status: | Published |
| Further Information: | Google Scholar |
| URI: | http://eprints.soton.ac.uk/id/eprint/256021 |
Actions (login required)
 |
View Item |
