|
Introduction to Static Analysis: An Abstract Interpretation Perspective
by
3.53 avg rating — 15 ratings
—
published
2020
—
2 editions
|
|
|
Static Analysis: 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings
by
|
|
|
Static Analysis: 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings (Lecture Notes in Computer Science Book 9837)
by
0.00 avg rating — 0 ratings
|
|
|
Verification, Model Checking, and Abstract Interpretation: 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, ... Computer Science and General Issues)
by
0.00 avg rating — 0 ratings
—
published
2014
—
2 editions
|
|
|
Shape Analysis (Foundations and Trends
by
0.00 avg rating — 0 ratings
|
|
|
Verification, Model Checking, and Abstract Interpretation: 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings ... Notes in Computer Science Book 8318)
by
0.00 avg rating — 0 ratings
|
|
|
Verification, Model Checking, and Abstract Interpretation: 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings ... Notes in Computer Science Book 8318)
by
0.00 avg rating — 0 ratings
|
|
* Note: these are all the books on Goodreads for this author. To add more books,
click here.