Sofiène Tahar

Books
Theorem Proving in Higher Order Logics Theorem Proving in Higher Order Logics
Theorem Proving in Higher Order Logics
2008
Formal Methods and Software Engineering Formal Methods and Software Engineering
Formal Methods and Software Engineering
2023
Verification and Evaluation of Computer and Communication Systems Verification and Evaluation of Computer and Communication Systems
Verification and Evaluation of Computer and Communication Systems
2017