Verimag News

Conferences

  • VECoS 2018 - 26-28 september 2018 (in 2 months)

    Int. Conf. on Verification and Evaluation of Computer and Communication Systems - UGA

  • RV 2018 - 10-13 November 2018 (in 3 months)

    International Conference on Runtime Verification - Limassol, Chypre