1 January 2020

The journal article “Abstracting strings for model checking of C programs”, by Lauko, H., Olliaro, M., Cortesi, A., Ročckai, P., has just been published in “Applied Sciences (Switzerland)”! Available here.