Filter
Sökt på: Sökresultat
Filter
1 träff
Automated Technology for Verification and Analysis
E-bok,
2008,
Engelska,
ISBN 9783540883876
This book constitutes the refereed proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis, ATVA 2008, held in Seoul, Korea, in October …