Book chapter published in "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)"!

1 January 2019

The book chapter “String Abstraction for Model Checking of C Programs”, by Cortesi, A., Lauko, H., Olliaro, M., Ročkai, P., has just been published in “Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)”! Available here.