1 January 2024

The journal article “Challenges of software verification: the past, the present, the future”, by missing authors, has just been published! Available here.