Kung-Kiu Lau

No biography available.

Works (6)

Cover of Component-based software development

Component-based software development

Cover of Formal Methods and Software Engineering (vol. # 3785)

Formal Methods and Software Engineering (vol. # 3785)

Cover of Component-Based Software Development

Component-Based Software Development

Cover of Program development in computational logic

Program development in computational logic

Cover of Computational Logic CL 2000 00

Computational Logic CL 2000 00

Cover of Logic Based Program Synthesis & Transformation

Logic Based Program Synthesis & Transformation