Ali Mili

Software Testing: Concepts and Operations (Quantitative Software Engineering Series)

2015

Aʻmāl al-Nadwah al-ʻĀlamīyah a

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

2006

Discrete Mathematics and Logic

2006

Computer program construction

1994

An introduction to program fault tolerance

1990

Towards structured specifying

1989

An introduction to formal program verification

1985