Tarek Mhamdi
According to our database1,
Tarek Mhamdi
authored at least 6 papers
between 2004 and 2015.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2015
Formal Methods Syst. Des., 2015
2013
Formalization of Measure Theory and Lebesgue Integration for Probabilistic Analysis in HOL.
ACM Trans. Embed. Comput. Syst., 2013
2012
Proceedings of the Formal Methods and Software Engineering, 2012
2011
Proceedings of the Interactive Theorem Proving - Second International Conference, 2011
2010
Proceedings of the Interactive Theorem Proving, First International Conference, 2010
2004
Proceedings of the Automated Technology for Verification and Analysis: Second International Conference, 2004