Refinement by Interface Instantiation. Hallerstede, S. & Son Hoang, T. In Proceedings of Abstract State Machines, Alloy, B and Z (ABZ), pages 223-237, 2012.
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
{"_id":"JkEwbvgiNNh5HaYBd","bibbaseid":"hallerstede-sonhoang-refinementbyinterfaceinstantiation-2012","downloads":0,"creationDate":"2015-06-12T22:13:33.663Z","title":"Refinement by Interface Instantiation","author_short":["Hallerstede, S.","Son Hoang, T."],"year":2012,"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/asm/HallerstedeH12","bibdata":{"title":"Refinement by Interface Instantiation","author":["Stefan Hallerstede","Thai Son Hoang"],"author_short":["Hallerstede, S.","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)","bibtex":"@inproceedings{ dblp2112958,\n title = {Refinement by Interface Instantiation},\n author = {Stefan Hallerstede and Thai Son Hoang},\n author_short = {Hallerstede, S. and Son Hoang, T.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2012},\n key = {dblp2112958},\n id = {dblp2112958},\n biburl = {http://www.dblp.org/rec/bibtex/conf/asm/HallerstedeH12},\n url = {http://dx.doi.org/10.1007/978-3-642-30885-7_16},\n conference = {ABZ},\n pages = {223-237},\n text = {ABZ 2012:223-237},\n booktitle = {Proceedings of Abstract State Machines, Alloy, B and Z (ABZ)}\n}","bibbaseid":"hallerstede-sonhoang-refinementbyinterfaceinstantiation-2012","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/978-3-642-30885-7_16"},"downloads":0},"search_terms":["refinement","interface","instantiation","hallerstede","son hoang"],"keywords":[],"authorIDs":[],"dataSources":["Xv3pK668rud3Hmtsn"]}