Advertisement

Annotated bibliography of the PROSPECTRA project

  • Berthold Hoffmann
  • Hui Shi
Program development by specification and transformation Part IV Literature
Part of the Lecture Notes in Computer Science book series (LNCS, volume 680)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 1993

Authors and Affiliations

  • Berthold Hoffmann
    • 1
  • Hui Shi
    • 1
  1. 1.Universitäit BremenDeutschland

Personalised recommendations