José Meseguer (auth.), Dang Van Hung, Martin Wirsing (eds.)

Theoretical Aspects of Computing – ICTAC 2005: Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005. Proceedings