Ali Mili

• Computer program construction
• Software Testing: Concepts and Operations (Quantitative Software Engineering Series)
• An introduction to formal program verification
• An introduction to program fault tolerance
• Discrete Mathematics and Logic
• Software Engineering
• Towards structured specifying
• 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
• Discrete Mathematics and Logic
• Software Testing