Olfa Mraihi

发表

Lamia Labed Jilani, Ali Mili, Wided Ghardallou, 2012, J. Log. Algebraic Methods Program..

Lamia Labed Jilani, Ali Mili, Wided Ghardallou, 2010, 2010 ACM/IEEE 32nd International Conference on Software Engineering.

Lamia Labed Jilani, Ali Mili, Wided Ghardallou, 2011, ICTAC.

Lamia Labed Jilani, Ali Mili, Olfa Mraihi, 2012, Innovations in Systems and Software Engineering.

Lamia Labed Jilani, Ali Mili, Olfa Mraihi, 2010, ACS/IEEE International Conference on Computer Systems and Applications - AICCSA 2010.

Lamia Labed Jilani, Ali Mili, Olfa Mraihi, 2010, J. Symb. Comput..

Lamia Labed Jilani, Ali Mili, Olfa Mraihi, 2010, WING@ETAPS/IJCAR.

Lamia Labed Jilani, Ali Mili, Wided Ghardallou, 2013, J. Symb. Comput..

Lamia Labed Jilani, Ali Mili, Olfa Mraihi, 2009, RelMiCS.

Lamia Labed Jilani, Jules Desharnais, Ali Mili, 2013, Sci. Comput. Program..

Lamia Labed Jilani, Ali Mili, Wided Ghardallou, 2014, Int. J. Crit. Comput. Based Syst..

Lamia Labed Jilani, Ali Mili, Wided Ghardallou, 2011 .