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

17. LOPSTR 2007: Kongens Lyngby, Denmark

Andy King (Ed.): Logic-Based Program Synthesis and Transformation, 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers. Lecture Notes in Computer Science 4915 Springer 2008, ISBN 978-3-540-78768-6 BibTeX

Program Termination

Program Transformation

Constraint Solving and Analysis

Software Engineering

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