Programming languages and systems
: third Asian symposium ; proceedings / APLAS 2005, Tsukuba, Japan, November 2 - 5, 2005. Kwangkeun Yi (ed.). - Berlin : Springer, 2005. - Online-Ressource - (Lecture notes in computer science; 3780)
ISBN 978-3-540-32247-4
Lizenzpflichtig
Quelle: DNB
Static analysis
: 13th international symposium ; proceedings / SAS 2006, Seoul, Korea, August 29 - 31, 2006. Kwangkeun Yi (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 4134)
ISBN 978-3-540-37758-0
Lizenzpflichtig
Quelle: DNB