%0 Conference Paper %1 conf/birthday/BuresGKPT15 %A Bures, Tomás %A Gerostathopoulos, Ilias %A Keznikl, Jaroslav %A Plasil, Frantisek %A Tuma, Petr %B Software, Services, and Systems %D 2015 %E Nicola, Rocco De %E Hennicker, Rolf %I Springer %K dblp %P 602-618 %T Formalization of Invariant Patterns for the Invariant Refinement Method. %U http://dblp.uni-trier.de/db/conf/birthday/wirsing2015.html#BuresGKPT15 %V 8950 %@ 978-3-319-15544-9

@inproceedings{conf/birthday/BuresGKPT15, added-at = {2017-08-14T00:00:00.000+0200}, author = {Bures, Tomás and Gerostathopoulos, Ilias and Keznikl, Jaroslav and Plasil, Frantisek and Tuma, Petr}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2341472a17406e78c9ebfc7970258340b/dblp}, booktitle = {Software, Services, and Systems}, crossref = {conf/birthday/2015wirsing}, editor = {Nicola, Rocco De and Hennicker, Rolf}, ee = {https://doi.org/10.1007/978-3-319-15545-6_34}, interhash = {b8b11a1433381d102ce078491fe0e674}, intrahash = {341472a17406e78c9ebfc7970258340b}, isbn = {978-3-319-15544-9}, keywords = {dblp}, pages = {602-618}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T14:05:52.000+0200}, title = {Formalization of Invariant Patterns for the Invariant Refinement Method.}, url = {http://dblp.uni-trier.de/db/conf/birthday/wirsing2015.html#BuresGKPT15}, volume = 8950, year = 2015 }