dblp.uni-trier.de www.uni-trier.de

15. LOPSTR 2005: London, UK

Patricia M. Hill (Ed.): Logic Based Program Synthesis and Transformation, 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers. Lecture Notes in Computer Science 3901 Springer 2006, ISBN 3-540-32654-5 BibTeX

Tools for Program Development

Program Transformati

Software Development and Program Analysis

Copyright © Sat May 16 23:28:57 2009 by Michael Ley (ley@uni-trier.de)