Frédéric Haziza

	2008
2		Parosh Aziz Abdulla, Ahmed Bouajjani, Jonathan Cederberg, Frédéric Haziza, Ahmed Rezine: Monotonic Abstraction for Programs with Dynamic Memory Heaps. CAV 2008: 341-354
1		Parosh Aziz Abdulla, Noomene Ben Henda, Giorgio Delzanno, Frédéric Haziza, Ahmed Rezine: Parameterized Tree Systems. FORTE 2008: 69-83

Coauthor Index

1	Parosh Aziz Abdulla	[1] [2]
2	Ahmed Bouajjani	[2]
3	Jonathan Cederberg	[2]
4	Giorgio Delzanno	[1]
5	Noomene Ben Henda	[1]
6	Ahmed Rezine	[1] [2]