Normal view
MARC view
Lau, K.-K. (Kung-Kiu), 1953- (Personal Name)
Machine generated authority record.
Work cat.: (AT-ISTA): International Workshop on Logic-based Program Synthesis and Transformation (10th : 2000 : London, England) 15393, Logic based program synthesis and transformation :, 2001.