Dan R. Ghica, Guy McCusker. Reasoning about Idealized ALGOL Using Regular Languages. In Ugo Montanari, José D. P. Rolim, Emo Welzl, editors, Automata, Languages and Programming, 27th International Colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000, Proceedings. Volume 1853 of Lecture Notes in Computer Science, pages 103-115, Springer, 2000. [doi]
No references recorded for this publication.
No citations of this publication recorded.