@Techreport{CUNI:D3S-TR-2013-04,
   status = {public},
   link = {http://d3s.mff.cuni.cz/publications/download/D3S-TR-2013-04.pdf},
   task = {T1.3},
   month = {February},
   year = {2013},
   invited = {no},
   main = {no},
   title = {{Formalization of Invariant Patterns for the Invariant Refinement Method}},
   author = {Tom\'{a}\v{s} Bure\v{s} and Ilias Gerostathopoulos and Jaroslav Keznikl and Frantisek Plasil},
   period = {year3},
   institution = {Charles University},
   partner = {cuni},
   wp = {wp1}
}