COSMICAH 2005: workshop on verification of COncurrent Systems with dynaMIC Allocated Heaps (a Satellite event of ICALP 2005) - Informal Proceedings
View/ Open
Series
Department of Computer Science Research Reports;RR-05-04 - July 2005
ISSN
1470-5559