%0 Book Section %1 series/lncs/BuresGHKKP15 %A Bures, Tomás %A Gerostathopoulos, Ilias %A Hnetynka, Petr %A Keznikl, Jaroslav %A Kit, Michal %A Plásil, Frantisek %B The ASCENS Approach %D 2015 %E Wirsing, Martin %E Hölzl, Matthias M. %E Koch, Nora %E Mayer, Philip %I Springer %K dblp %P 405-428 %T The Invariant Refinement Method. %U http://dblp.uni-trier.de/db/series/lncs/lncs8998.html#BuresGHKKP15 %V 8998 %@ 978-3-319-16309-3

@incollection{series/lncs/BuresGHKKP15, added-at = {2023-06-26T00:00:00.000+0200}, author = {Bures, Tomás and Gerostathopoulos, Ilias and Hnetynka, Petr and Keznikl, Jaroslav and Kit, Michal and Plásil, Frantisek}, biburl = {https://www.bibsonomy.org/bibtex/264d992db6671f6504d17c2bee2ce8c8f/dblp}, booktitle = {The ASCENS Approach}, crossref = {series/lncs/8998}, editor = {Wirsing, Martin and Hölzl, Matthias M. and Koch, Nora and Mayer, Philip}, ee = {https://doi.org/10.1007/978-3-319-16310-9_12}, interhash = {e6a2feebcdf2ab87018de149204bf258}, intrahash = {64d992db6671f6504d17c2bee2ce8c8f}, isbn = {978-3-319-16309-3}, keywords = {dblp}, pages = {405-428}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T05:15:04.000+0200}, title = {The Invariant Refinement Method.}, url = {http://dblp.uni-trier.de/db/series/lncs/lncs8998.html#BuresGHKKP15}, volume = 8998, year = 2015 }