Mihai Codescu, Bruno Langenstein, Christian Maeder, Till Mossakowski. The VSE Refinement Method in Hets. In Karin Breitman, Ana Cavalcanti, editors, Formal Methods and Software Engineering, 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings. Volume 5885 of Lecture Notes in Computer Science, pages 660-678, Springer, 2009. [doi]
@inproceedings{CodescuLMM09,
title = {The VSE Refinement Method in Hets},
author = {Mihai Codescu and Bruno Langenstein and Christian Maeder and Till Mossakowski},
year = {2009},
doi = {10.1007/978-3-642-10373-5_34},
url = {http://dx.doi.org/10.1007/978-3-642-10373-5_34},
tags = {refinement},
researchr = {https://researchr.org/publication/CodescuLMM09},
cites = {0},
citedby = {0},
pages = {660-678},
booktitle = {Formal Methods and Software Engineering, 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings},
editor = {Karin Breitman and Ana Cavalcanti},
volume = {5885},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-10372-8},
}