ABZ'16 Conference Talk

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

  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/resource/paulweber2016abz/talk}}

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