Kung-Kiu Lau - Böcker

Logic Program Synthesis and Transformation

Proceedings of LOPSTR 91, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 4–5 July 1991

Logic Program Synthesis and Transformation

Proceedings of LOPSTR 92, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 2–3 July 1992

Program Development in Computational Logic

A Decade of Research Advances in Logic-Based Program Development

Formal Methods and Software Engineering

7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings

Logic Based Program Synthesis and Transformation

10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000 Selected Papers

Computational Logic — CL 2000

First International Conference London, UK, July 24–28, 2000 Proceedings

Service-Oriented and Cloud Computing

Second European Conference, ESOCC 2013, Málaga, Spain, September 11-13, 2013, Proceedings

Service-Oriented and Cloud Computing

Third European Conference, ESOCC 2014, Manchester, UK, September 2-4, 2014, Proceedings

Component-based Software Development: Case Studies