Theoretical aspects of computing - ICTAC 2009 6th international colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009 : proceedings - ICTAC 2009 (2009 : Kuala Lumpur, Malaysia); Leucker, Martin; Morgan, Carroll; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2009)
Keywords: Formal methods (Computer science) -- Congresses; Computer science -- Mathematics -- Congresses; Computer programming -- Congresses; Computation by Abstract Devices; Computer Science; Mathematical Logic and Formal Languages; Algorithm Analysis and Problem Complexity; Software Engineering; Symbolic and Algebraic Manipulation; Theory of Computation