Nombre de documents

1

CV de Cezara Dragoi


Autre publication1 document

  • Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, Ahmed Rezine, Mihaela Sighireanu. Invariant Synthesis for Programs Manipulating Lists with Unbounded Data. Full version of the paper with the same title accepted at CAV'10. 2010. <hal-00473754>