Advertisement

ASSPEGIQUE

An integrated specification environment
  • Michel Bidoit
  • Francis Capy
  • Christine Choppy
  • Marie-Anne Choquer
  • Stéphane Kaplan
  • Françoise Schlienger
  • Frédéric Voisin
Systems Demonstrations
Part of the Lecture Notes in Computer Science book series (LNCS, volume 247)

Copyright information

© Springer-Verlag Berlin Heidelberg 1987

Authors and Affiliations

  • Michel Bidoit
    • 1
  • Francis Capy
    • 1
  • Christine Choppy
    • 1
  • Marie-Anne Choquer
    • 1
  • Stéphane Kaplan
    • 1
  • Françoise Schlienger
    • 1
  • Frédéric Voisin
    • 1
  1. 1.Laboratoire de Recherche en Informatique C.N.R.S. U.A. 410 “A1 Khowarizmi”Université Paris-Sud-Orsay CédexFrance

Personalised recommendations