K
Kung-Kiu Lau
8 works on record
Works

Formal Methods and Software Engineering (vol. # 3785)

Program development in computational logic

Component-based software development

Computational Logic CL 2000 00

Logic Program Synthesis and Transformation

Logic Based Program Synthesis & Transformation
Service-Oriented and Cloud Computing
Service-Oriented and Cloud Computing
Formal Methods and Software Engineering
Formal Methods and Software Engineering