Book chapter

Title:
Formalization of Invariant Patterns for the Invariant Refinement Method
Authors:
T. Bureš, I. Gerostathopoulos, J. Keznikl, F. Plášil, P. Tůma
Publication:
Software, Services, and Systems
Year:
2015
ISBN:
978-3-319-15544-9 978-3-319-15545-6
Link:
http://link.springer.com/chapter/10.1007/978-3-319-15545-6_34

BibTeX:
@incollection{bures_formalization_2015,
    title = {{Formalization of Invariant Patterns for the Invariant Refinement Method}},
    author = {Bureš, Tomáš and Gerostathopoulos, Ilias and Keznikl, Jaroslav and Plášil, František and Tůma, Petr},
    year = {2015},
    booktitle = {{Software, Services, and Systems}},
    editor = {Nicola, Rocco De and Hennicker, Rolf},
    publisher = {Springer International Publishing},
    series = {{Lecture Notes in Computer Science}},
    number = {8950},
    isbn = {978-3-319-15544-9 978-3-319-15545-6},
    pages = {602--618},
    url = {http://link.springer.com/chapter/10.1007/978-3-319-15545-6_34},
}