CosyVerif: An Open Source Extensible Verification Environment.

tienne Andr, Yousra Lembachar, Laure Petrucci, Francis Hulin-Hubard, Alban Linard, Lom Hillah, Fabrice Kordon

Browse the full ICECCS paper archive.