Kung-Kiu Lau profile picture

Kung-Kiu Lau

Is this your author profile? Create an account to customize it!

Stand Alone

Formal Methods and Software Engineering (vol. # 3785)
Component-based software development
Component-based Software Development Case Studies
Logic Based Program Synthesis and Transformation 10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000 Selected Papers
Logic Based Program Synthesis and Transformation 10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000 Selected Papers
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
Component-based Software Development: Case Studies
China's Compliance in Global Affairs: Trade, Arms Control, Environmental Protection, Human Rights
Program Development in Computational Logic A Decade of Research Advances in Logic-Based Program Development
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 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 '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

See All