Kung-Kiu Lau
Hat mitgewirkt an:
-
Formal methods and software engineering : proceedings
-
Logic based program synthesis and transformation : 10th international workshop ; selected papers
-
Service-oriented and cloud computing : second European conference ; proceedings
-
Service-oriented and cloud computing : third European conference ; proceedings