Programming Languages and Systems Second Asian Symposium, APLAS 2004, Taipei, Taiwan, November 4-6, 2004. Proceedings Chin Wei-Ngan Heftet / 2004 / Engelsk
Theoretical Aspects of Software Engineering 18th International Symposium, TASE 2024, Guiyang, China, July 29 – August 1, 2024, Proceedings Chin Wei-Ngan Heftet / 2024 / Engelsk
Automated Technology for Verification and Analysis 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, Proceedings Bouajjani Ahmed Heftet / 2010 / Engelsk
