Ali Mili
Books
- Verification and Evaluation of Computer and Communication Systems
- Aʻmāl al-Nadwah al-ʻĀlamīyah al-Ūlá li-Tadrīs al-Maʻlūmātīyah bi-al-Lughah al-ʻArabīyah al-munʻaqidah bi-Tūnis fī 18 Jūwīliyah 2003
- Computer program construction
- Software Engineering
- Software Testing
- An introduction to formal program verification
- Towards structured specifying
- Discrete Mathematics and Logic
- Software Testing: Concepts and Operations (Quantitative Software Engineering Series)
- An introduction to program fault tolerance
Author data: Open Library