| title | | ISBN-13 | year of publica-
tion | other author(s) |
|---|
| An Introduction to Programme Fault Tolerance | | 978-0-13-493511-9 | 1990 |
| Computer Program Construction | | 978-0-19-509236-3 | 1994 | Jules Desharnais · Fatma Mili |
| Discrete Mathematics and Logic: Theoretical Foundations for Computer Science, An Arabic Text | | 978-1-4303-0246-9 | 2006 | Lamia Labed Jilani |
| Introduction to Programme Fault Tolerance | | 978-0-13-493503-4 | 1990 |
| Reuse-Based Software Engineering: Techniques, Organizations, and Controls | | 978-0-471-39819-6 | 2001 | Hafedh Mili · Sherif Yacoub · Edward Addy |
| Software Testing: Concepts and Operations | | 978-1-118-66287-8 | 2015 | Fairouz Tchier |
| Towards Structured Specifying: Theory, Practice, Applications | | 978-0-13-924929-7 | 1989 | Fatma Mili |
| Towards structured specifying: Theory, practice, applications | | 978-0-470-21527-2 | 1989 |
| Verification and Evaluation of Computer and Communication Systems: 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, ... Notes in Computer Science, Band 10466) | | 978-3-319-66175-9 | 2017 | Kamel Barkaoui · Hanifa Boucheneb · Sofiène Tahar |