Refinement by Interface Instantiation. Hallerstede, S. & Son Hoang, T. In Proceedings of Abstract State Machines, Alloy, B and Z (ABZ), pages 223-237, 2012.
Refinement by Interface Instantiation [link]Paper  bibtex   
@inproceedings{ dblp2112958,
  title = {Refinement by Interface Instantiation},
  author = {Stefan Hallerstede and Thai Son Hoang},
  author_short = {Hallerstede, S. and Son Hoang, T.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {2012},
  key = {dblp2112958},
  id = {dblp2112958},
  biburl = {http://www.dblp.org/rec/bibtex/conf/asm/HallerstedeH12},
  url = {http://dx.doi.org/10.1007/978-3-642-30885-7_16},
  conference = {ABZ},
  pages = {223-237},
  text = {ABZ 2012:223-237},
  booktitle = {Proceedings of Abstract State Machines, Alloy, B and Z (ABZ)}
}

Downloads: 0