Logic Based Program Synthesis and Transformation 10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000 Selected Papers Lau, Kung-Kiu Heftet / 2001 / Engelsk
Formal Methods and Software Engineering 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings Lau, Kung-Kiu Heftet / 2005 / Engelsk
Program Development in Computational Logic A Decade of Research Advances in Logic-Based Program Development Bruynooghe Maurice Heftet / 2004 / Engelsk
Logic Program Synthesis and Transformation Proceedings of LOPSTR 91, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 4–5 July 1991 Clement, Timothy P. Heftet / 1992 / Engelsk
Logic Program Synthesis and Transformation Proceedings of LOPSTR 92, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 2–3 July 1992 Lau, Kung-Kiu Heftet / 1993 / Engelsk
Service-Oriented and Cloud Computing Third European Conference, ESOCC 2014, Manchester, UK, September 2-4, 2014, Proceedings Villari, Massimo Heftet / 2014 / Engelsk
Service-Oriented and Cloud Computing Second European Conference, ESOCC 2013, Málaga, Spain, September 11-13, 2013, Proceedings Lau, Kung-Kiu Heftet / 2013 / Engelsk
