Frédéric Haziza
发表
Frédéric Haziza,
2007
.
Parosh Aziz Abdulla,
Lukás Holík,
Frédéric Haziza,
2015,
SynCoP.
Parosh Aziz Abdulla,
Bengt Jonsson,
Lukás Holík,
2017,
International Journal on Software Tools for Technology Transfer.
Frédéric Haziza,
2008
.
Parosh Aziz Abdulla,
Ahmed Rezine,
Ahmed Bouajjani,
2008,
CAV.
Ola Spjuth,
Frédéric Haziza,
Erik Bongcam-Rudloff,
2015,
Bioinformatics and biology insights.
Parosh Aziz Abdulla,
Ahmed Rezine,
Ahmed Bouajjani,
2008,
Beyond the Finite: New Challenges in Verification and Semistructured Data.
Frédéric Haziza,
2011
.
Parosh Aziz Abdulla,
Giorgio Delzanno,
Noomene Ben Henda,
2008,
FORTE.
Parosh Aziz Abdulla,
Lukás Holík,
Frédéric Haziza,
2015,
International Journal on Software Tools for Technology Transfer.
Parosh Aziz Abdulla,
Lukás Holík,
Frédéric Haziza,
2014,
SAS.
Frédéric Haziza,
2015
.
Lukás Holík,
Roland Meyer,
Sebastian Wolff,
2016,
VMCAI.
Parosh Aziz Abdulla,
Lukás Holík,
Frédéric Haziza,
2013,
VMCAI.
Parosh Aziz Abdulla,
Frédéric Haziza,
Mats Kindahl,
2008,
CARN.
Parosh Aziz Abdulla,
Giorgio Delzanno,
Yu-Fang Chen,
2010,
CONCUR.
Parosh Aziz Abdulla,
Bengt Jonsson,
Lukás Holík,
2013,
TACAS.
Frédéric Haziza,
2007
.
Frédéric Haziza,
2007
.
Parosh Aziz Abdulla,
Bengt Jonsson,
Ahmed Rezine,
2021,
Int. J. Softw. Tools Technol. Transf..
Oliver Hofmann,
Frédéric Haziza,
Thomas M. Keane,
2021,
Bioinform..
Parosh Aziz Abdulla,
Frédéric Haziza,
Lukáš Holı́k,
2012
.