1.
Automated Technology for Verification and Analysis : 17th International Symposium, ATVA 2019...
by Yu-Fang, Chen, Cheng, Chih-...
ISBN: 9783030317836
List Price: $99.99
2.
Verification and Evaluation of Computer and Communication Systems : 14th International Confe...
by Ben Hedia, Belgacem, Chen, ...
ISBN: 9783030659547