Tools
Ghica, Dan R and McCusker, Guy (2000) Reasoning about Idealized Algol Using Regular Languages. In: Unset, Twenty-Seveth International Colloquium on Automata Languages and Programming (ICALP 2000). Springer-Verlag Lecture Notes in Computer Science..
Full text not available from this repository.Item Type: | Conference or Workshop Item (Paper) |
---|---|
Additional Information: | "Winner of ""Best Paper"" award for ICALP 2000." |
Schools and Departments: | School of Engineering and Informatics > Informatics |
Depositing User: | EPrints Services |
Date Deposited: | 06 Feb 2012 19:58 |
Last Modified: | 13 Apr 2012 11:40 |
URI: | http://sro.sussex.ac.uk/id/eprint/23298 |