%0 Conference Paper %1 conf/imbsa/KaleeswaranNVG20 %A Kaleeswaran, Arut Prakash %A Nordmann, Arne %A Vogel, Thomas %A Grunske, Lars %B IMBSA %D 2020 %E Zeller, Marc %E Höfig, Kai %I Springer %K dblp %P 99-114 %T Counterexample Interpretation for Contract-Based Design. %U http://dblp.uni-trier.de/db/conf/imbsa/imbsa2020.html#KaleeswaranNVG20 %V 12297 %@ 978-3-030-58920-2

@inproceedings{conf/imbsa/KaleeswaranNVG20, added-at = {2020-12-29T00:00:00.000+0100}, author = {Kaleeswaran, Arut Prakash and Nordmann, Arne and Vogel, Thomas and Grunske, Lars}, biburl = {https://www.bibsonomy.org/bibtex/279afbff82e80022dce74d515b99d2fa4/dblp}, booktitle = {IMBSA}, crossref = {conf/imbsa/2020}, editor = {Zeller, Marc and Höfig, Kai}, ee = {https://doi.org/10.1007/978-3-030-58920-2_7}, interhash = {6d3c0a6daff1bc8b295da3829b45a371}, intrahash = {79afbff82e80022dce74d515b99d2fa4}, isbn = {978-3-030-58920-2}, keywords = {dblp}, pages = {99-114}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T05:49:29.000+0200}, title = {Counterexample Interpretation for Contract-Based Design.}, url = {http://dblp.uni-trier.de/db/conf/imbsa/imbsa2020.html#KaleeswaranNVG20}, volume = 12297, year = 2020 }