ABZ'16 Conference Talk

P. Paulweber and U. Zdun. A Model-Based Transformation Approach to Reuse and Retarget CASM Specifications. Conference Talk at the 5th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016, Linz, Austria, 27th May, 2016.

@Comment{ refnotes, namespace = "cite" }
  title        = {{A} {M}odel-{B}ased {T}ransformation {A}pproach to {R}euse and {R}etarget {CASM} {S}pecifications},
  author       = {Paulweber, Philipp and Zdun, Uwe},
  howpublished = {ABZ'16 Talk Slides},
  month        = {May},
  year         = {2016},
  note         = {\url{https://casm-lang.org/presentation/paulweber2016abz.pdf}}

Copyright © 2014-2021 CASM Organization.
All rights reserved.