Automated technology for verification and analysis [E-Book] : 6th international symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008 : proceedings / ed. by S. Cha ...
Cha, S., (editor)
Berlin : Springer, 2008
online resource
englisch
9783540883876 (e-book)
9783540883869
Lecture notes in computer science ; 5311
Full Text
Description not available.