Journal article published in "Applied Sciences (Switzerland)"!
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.