https://hal.archives-ouvertes.fr/hal-02475802 Contributor : Kamel BarkaouiConnect in order to contact the contributor Submitted on : Wednesday, February 12, 2020 - 11:57:29 AM Last modification on : Monday, February 21, 2022 - 3:38:20 PM
Kamel Barkaoui, Hanifa Boucheneb. Introduction to special issue on verification and evaluation of computer systems. Innovations in Systems and Software Engineering, Springer Verlag, 2018, 14 (2), pp.81-82. ⟨10.1007/s11334-018-0310-0⟩. ⟨hal-02475802⟩