Technical report

Title:
Formalization of Invariant Patterns for the Invariant Refinement Method
Authors:
Tomáš Bureš, I. Gerostathopoulos, J. Keznikl, František Plášil
Publication:
Technical report no. No. D3S-TR-2013-04, Dep. of Distributed and Dependable Systems, Charles University in Prague
Year:
2013

BibTeX:
@techreport{bures_formalization_report_2013,
    title = {{Formalization of Invariant Patterns for the Invariant Refinement Method}},
    author = {Bures, T. and Gerostathopoulos, I. and Keznikl, J. and Plasil, F.},
    year = {2013},
    institution = {Dep. of Distributed and Dependable Systems, Charles University in Prague},
    number = {No. D3S-TR-2013-04},
}