DMCA

Teaching Formal Methods: Experience at UPMC and UP13 with CosyVerif

by Étienne André , Laure Petrucci , Fabrice Kordon
Citations:1 - 1 self