Skip to main content

The TrafoLa-S editor

  • Part III: System
  • Chapter
  • First Online:
Book cover Program Development by Specification and Transformation

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 680))

  • 133 Accesses

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Institutional subscriptions

Author information

Authors and Affiliations

Authors

Editor information

Berthold Hoffmann Bernd Krieg-Brückner

Rights and permissions

Reprints and permissions

Copyright information

© 1993 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Mañas, J.L., de la Cruz, P. (1993). The TrafoLa-S editor. In: Hoffmann, B., Krieg-Brückner, B. (eds) Program Development by Specification and Transformation. Lecture Notes in Computer Science, vol 680. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-56733-X_164

Download citation

  • DOI: https://doi.org/10.1007/3-540-56733-X_164

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-56733-2

  • Online ISBN: 978-3-540-47639-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics