Tarek Mhamdi

	2011
3		Tarek Mhamdi, Osman Hasan, Sofiène Tahar: Formalization of Entropy Measures in HOL. ITP 2011: 233-248
	2010
2		Tarek Mhamdi, Osman Hasan, Sofiène Tahar: On the Formalization of the Lebesgue Integration Theory in HOL. ITP 2010: 387-402
	2004
1		Tarek Mhamdi, Sofiène Tahar: Providing Automated Verification in HOL Using MDGs. ATVA 2004: 278-293

Coauthor Index

1	Osman Hasan	[2] [3]
2	Sofiène Tahar	[1] [2] [3]

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page