Program Development by Specification and Transformation, The PROSPECTRA Methodology, Language Family, and System

Berthold Hoffmann, Bernd Krieg-Brückner, editors, Program Development by Specification and Transformation, The PROSPECTRA Methodology, Language Family, and System. Volume 680 of Lecture Notes in Computer Science, Springer, 1993.

Conference: prospectra1993

@proceedings{prospectra:1993,
  title = {Program Development by Specification and Transformation, The PROSPECTRA Methodology, Language Family, and System},
  year = {1993},
  tags = {programming languages, transformation language, transformation system, transformation, program transformation},
  researchr = {https://researchr.org/publication/prospectra%3A1993},
  cites = {0},
  citedby = {0},
  booktitle = {Program Development by Specification and Transformation, The PROSPECTRA Methodology, Language Family, and System},
  conference = {prospectra},
  editor = {Berthold Hoffmann and Bernd Krieg-Brückner},
  volume = {680},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-56733-X},
}