Could not find the file: /3935/eprint_fieldname_related_url
The file you are trying to access may be related to this item:
Leino, K. Rustan M. and Monahan, Rosemary (2007) Automatic verification of textbook programs that use comprehensions. In: Formal Techniques for Java-like Programs (FTfJP) ECOOP Workshop, July 30 - August 3 2007, Berlin. (Unpublished)
If you reached this page by following a link within the repository, please contact the MURAL - Maynooth University Research Archive Library administration. Otherwise, please check that you have typed the URL in correctly, or contact the person or site that supplied you with this URL.