Your search for Kung-Kiu Lau

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

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

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

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

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

A Decade of Research Advances in Logic-Based Program Development

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

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

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

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

A Decade of Research Advances in Logic-Based Program Development

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

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

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

A Computational Approach