Asspegique: An Integrated Specification Environment.

Michel Bidoit, Francis Capy, Christine Choppy, M.-A. Choquer, Stphane Kaplan, Franoise Schlienger, Frdric Voisin

Browse the full STACS paper archive.