1. Correctness enhancement: a pervasive software engineering paradigm. (20th July 2020) Authors: Khaireddine, Besma; AbdelAli, Marwa Ben; Jilani, Lamia Labed; Zakharchenko, Aleksandr; Mili, Ali Journal: International journal of critical computer-based systems Issue: Volume 10:Number 1(2020) Page Start: 37 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗