Formalization of Invariant Patterns for the Invariant Refinement Method

Technical report

Title:

Authors:

T. Bureš, I. Gerostathopoulos, J. Keznikl, F. 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},
}