1 January 2021

The journal article “Verifiability in Systems and Data Engineering: Preface by the Special Issue Editors”, by Cortesi, A., Chaki, N., Chaki, R., has just been published in “Innovations in Systems and Software Engineering”! Available here.