A First Step in the Translation of Alloy to Coq.

Salwa Souaf, Frdric Loulergue

Browse the full ICFEM paper archive.