Advertisement

CEC

  • Hubert Bertling
  • Harald Ganzinger
  • Hubert Baumeister
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

  • Hubert Bertling
    • 1
  • Harald Ganzinger
    • 1
  • Hubert Baumeister
    • 1
  1. 1.Universität Dortmund Informatik VDortmund 50

Personalised recommendations