Online Library TheLib.net » Author books / Книги автора Mark R. Greenstreet (auth.) Zhiming Liu Anders P. Ravn (eds.)
book Automated Technology for Verification and Analysis: 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings
Automated Technology for Verification and Analysis: 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings
pdf
00
27.01.2024
1
0
Read online
book Automated Technology for Verification and Analysis: 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings
Automated Technology for Verification and Analysis: 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings
pdf
00
27.01.2024
1
0
Read online