Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander Romanovsky. Patterns for Refinement Automation. In Frank S. de Boer, Marcello M. Bonsangue, Stefan Hallerstede, Michael Leuschel, editors, Formal Methods for Components and Objects - 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers. Volume 6286 of Lecture Notes in Computer Science, pages 70-88, Springer, 2009. [doi]
@inproceedings{IliasovTLR09,
title = {Patterns for Refinement Automation},
author = {Alexei Iliasov and Elena Troubitsyna and Linas Laibinis and Alexander Romanovsky},
year = {2009},
doi = {10.1007/978-3-642-17071-3_4},
url = {http://dx.doi.org/10.1007/978-3-642-17071-3_4},
tags = {refinement},
researchr = {https://researchr.org/publication/IliasovTLR09},
cites = {0},
citedby = {0},
pages = {70-88},
booktitle = {Formal Methods for Components and Objects - 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers},
editor = {Frank S. de Boer and Marcello M. Bonsangue and Stefan Hallerstede and Michael Leuschel},
volume = {6286},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-17070-6},
}