An Introduction to Component-Based Software Development

Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development

Service-Oriented and Cloud Computing: Third European Conference, Esocc 2014, Manchester, UK, September 2-4, 2014, Proceedings

Logic Program Synthesis and Transformation: Proceedings of Lopstr 91, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 4-5 July 1991

Computational Logic -- CL 2000: First International Conference London, UK, July 24-28, 2000 Proceedings

Logic Based Program Synthesis and Transformation: 10th International Workshop, Lopstr 2000 London, UK, July 24-28, 2000 Selected Papers

Component-based software development: case studies

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

Service-Oriented and Cloud Computing: Second European Conference, Esocc 2013, Malaga, Spain, September 11-13, 2013, Proceedings

Logic Program Synthesis and Transformation: Proceedings of Lopstr 92, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 2-3 July 1992