Travelled to:
1 × South Africa
Collaborated with:
L.L.Jilani O.Mraihi W.Ghardallou A.Mili
Talks about:
function (2) invari (2) comput (1) relat (1) loop (1) use (1)
Person: Asma Louhichi
DBLP: Louhichi:Asma
Contributed to:
Wrote 1 papers:
- ICSE-2010-JilaniMLGM #invariant #using
- Using invariant functions and invariant relations to compute loop functions (LLJ, OM, AL, WG, AM), pp. 317–318.