Search results for: Wei-Ngan Chin
Lecture Notes in Computer Science > FME 2003: Formal Methods > Co-specification and Compilers > 282-300
Innovations in Systems and Software Engineering > 2006 > 2 > 1 > 17-38
Lecture Notes in Computer Science > FME 2003: Formal Methods > Co-specification and Compilers > 282-300
Innovations in Systems and Software Engineering > 2006 > 2 > 1 > 17-38