Search results for: Michael Leuschel
Formal Aspects of Computing > 2018 > 30 > 5 > 545-569
Science of Computer Programming > 2016 > 131 > C > 109-125
Lecture Notes in Computer Science > Logic-Based Program Synthesis and Transformation > Analysis and Specialisation > 62-81
Lecture Notes in Computer Science > Logic for Programming and Automated Reasoning > Planning and reasoning about actions > 451-468
Lecture Notes in Computer Science > Functional and Constraint Logic Programming > Contributed Papers > 111-127
Lecture Notes in Computer Science > Program Development in Computational Logic > Transformation and Specialisation > 340-375
Lecture Notes in Computer Science
Lecture Notes in Computer Science > B 2007: Formal Specification and Development in B > Regular Papers > 79-93
Lecture Notes in Computer Science > Perspectives of System Informatics > Partial Evaluation and Supercompilation > 148-161
Lecture Notes in Computer Science > Formal Methods for Industrial Critical Systems > Selected Posters > 202-204
Lecture Notes in Computer Science > Perspectives of System Informatics > Partial Evaluation and Supercompilation > 93-100
Lecture Notes in Computer Science > Abstract State Machines, B and Z > Chapter 1. ABZ Invited Talks > 4-23
Lecture Notes in Computer Science > Generative Programming and Component Engineering > Principled Domain-Specific Approaches > 344-363
Lecture Notes in Computer Science > Logic Based Program Synthesis and Transformation > Program Verificaion > 91-110