CosyVerif: An Open Source Extensible Verification Environment - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Étienne André, Yousra Lembachar, Laure Petrucci, Francis Hulin-Hubard, Alban Linard, Lom Hillah, Fabrice Kordon. CosyVerif: An Open Source Extensible Verification Environment. In 2013 18th International Conference on Engineering of Complex Computer Systems, Singapore, July 17-19, 2013. pages 33-36, IEEE, 2013. [doi]

This author has not been identified. Look up 'Étienne André' in GoogleThis author has not been identified. Look up 'Yousra Lembachar' in GoogleThis author has not been identified. Look up 'Laure Petrucci' in GoogleThis author has not been identified. Look up 'Francis Hulin-Hubard' in GoogleThis author has not been identified. Look up 'Alban Linard' in GoogleThis author has not been identified. Look up 'Lom Hillah' in GoogleThis author has not been identified. Look up 'Fabrice Kordon' in Google

runs on WebDSL