Automated Technology for Verification and Analysis 1st Edition 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19’23, 2020, Proceedings Ebook (djibook.shop)

$10.00

Dang Van Hung; Oleg Sokolsky

Category: Tag: