Zaynah Dargaye
According to our database1,
Zaynah Dargaye
authored at least 6 papers
between 2006 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2006
2008
2010
2012
2014
2016
2018
2020
2022
2024
0
1
2
3
1
1
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
2018
2009
Vérification formelle d'un compilateur optimisant pour langages fonctionnels. (Formal verification of an optimizing compiler for functional languages).
PhD thesis, 2009
High. Order Symb. Comput., 2009
2007
Proceedings of the Logic for Programming, 2007
2006
Proceedings of the FM 2006: Formal Methods, 2006