1.
Static Analysis : 28th International Symposium, SAS 2021, Chicago, il, USA, October 17-19, 2...
by Dragoi, Cezara, Mukherjee, ...
ISBN: 9783030888053
2.
Verification, Model Checking, and Abstract Interpretation : 24th International Conference, V...
by Dragoi, Cezara, Emmi, Micha...
ISBN: 9783031249495
List Price: $79.99