Automated Technology for Verification and Analysis (eBook, PDF)
8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, Proceedings
Redaktion: Bouajjani, Ahmed; Chin, Wei-Ngan
PAYBACK Punkte
20 °P sammeln!
Andere Kunden interessierten sich für
