%0 Conference Paper %1 conf/se/0001DDHS16 %A Beyer, Dirk %A Dangl, Matthias %A Dietsch, Daniel %A Heizmann, Matthias %A Stahlbauer, Andreas %B Software Engineering %D 2016 %E Knoop, Jens %E Zdun, Uwe %I GI %K dblp %P 105-106 %T Witness validation and stepwise testification across software verifiers. %U http://dblp.uni-trier.de/db/conf/se/se2016.html#0001DDHS16 %V P-252 %@ 978-388579-646-6

@inproceedings{conf/se/0001DDHS16, added-at = {2023-07-04T00:00:00.000+0200}, author = {Beyer, Dirk and Dangl, Matthias and Dietsch, Daniel and Heizmann, Matthias and Stahlbauer, Andreas}, biburl = {https://www.bibsonomy.org/bibtex/2c057a52af0658afe0680f68d45acf9f4/dblp}, booktitle = {Software Engineering}, crossref = {conf/se/2016}, editor = {Knoop, Jens and Zdun, Uwe}, ee = {https://dl.gi.de/handle/20.500.12116/746}, interhash = {bd16de34eb3256188f2f46cc43d2271d}, intrahash = {c057a52af0658afe0680f68d45acf9f4}, isbn = {978-388579-646-6}, keywords = {dblp}, pages = {105-106}, publisher = {GI}, series = {LNI}, timestamp = {2024-04-09T13:03:51.000+0200}, title = {Witness validation and stepwise testification across software verifiers.}, url = {http://dblp.uni-trier.de/db/conf/se/se2016.html#0001DDHS16}, volume = {P-252}, year = 2016 }