Working Group on Verification

GT Verif

The ReacHard project sponsors the first annual meeting of GT Verif taking place in Cachan in June 2013.