Asspegique: An Integrated Specification Environment

Michel Bidoit, Francis Capy, Christine Choppy, M.-A. Choquer, Stéphane Kaplan, Françoise Schlienger, Frédéric Voisin. Asspegique: An Integrated Specification Environment. In Franz-Josef Brandenburg, Guy Vidal-Naquet, Martin Wirsing, editors, STACS 87, 4th Annual Symposium on Theoretical Aspects of Computer Science, Passau, Germany, February 19-21, 1987, Proceedings. Volume 247 of Lecture Notes in Computer Science, pages 471, Springer, 1987.

Authors

Michel Bidoit

This author has not been identified. Look up 'Michel Bidoit' in Google

Francis Capy

This author has not been identified. Look up 'Francis Capy' in Google

Christine Choppy

This author has not been identified. Look up 'Christine Choppy' in Google

M.-A. Choquer

This author has not been identified. Look up 'M.-A. Choquer' in Google

Stéphane Kaplan

This author has not been identified. Look up 'Stéphane Kaplan' in Google

Françoise Schlienger

This author has not been identified. Look up 'Françoise Schlienger' in Google

Frédéric Voisin

This author has not been identified. Look up 'Frédéric Voisin' in Google