Suchfeld einblenden
Person Cha, Sungdeok
1 Treffer
Seite < 1 >
Automated technology for verification and analysis
: 6th international symposium ; proceedings / ATVA 2008, Seoul, Korea, October 20 - 23, 2008. Sungdeok (Steve) Cha ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 5311)
ISBN 978-3-540-88387-6
Lizenzpflichtig
Quelle: DNB
Seite < 1 >
