Ali Mili

No biography available.

Works (6)

Cover of Computer program construction

Computer program construction

Cover of An introduction to formal program verification

An introduction to formal program verification

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

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

Cover of An introduction to program fault tolerance

An introduction to program fault tolerance

Cover of Verification and Evaluation of Computer and Communication Systems

Verification and Evaluation of Computer and Communication Systems

Cover of Towards structured specifying

Towards structured specifying