Theoretical Aspects of Computing ICTAC 2007 : 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings
edited by Cliff B. Jones, Zhiming Liu, Jim Woodcock.
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007.
v.: digital
Serie: Lecture Notes in Computer Science, ISSN 0302-9743 ; 4711
ISBN: 9783540752929