ABZ'16 Conference Paper

P. Paulweber and U. Zdun. A Model-Based Transformation Approach to Reuse and Retarget CASM Specifications. In Abstract State Machines, Alloy, B, TLA, VDM, and Z - 5th International Conference, ABZ 2016, Lecture Notes in Computer Science 9675, pages 250–255. Springer, 2016.
Document

BibTex
@Comment{refnotes,
  namespace    = "cite"
}
@inproceedings{paulweber2016abz,
  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},
  booktitle = {Abstract State Machines, Alloy, B, TLA, VDM, and Z - 5th International Conference, ABZ 2016},
  series    = {Lecture Notes in Computer Science 9675},
  pages     = {250--255},
  year      = {2016},
  publisher = {Springer},
}

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