%0 Journal Article %1 journals/ese/KaleeswaranNVG23 %A Kaleeswaran, Arut Prakash %A Nordmann, Arne %A Vogel, Thomas %A Grunske, Lars %D 2023 %J Empir. Softw. Eng. %K dblp %N 5 %P 125 %T A user study for evaluation of formal verification results and their explanation at Bosch. %U http://dblp.uni-trier.de/db/journals/ese/ese28.html#KaleeswaranNVG23 %V 28

@article{journals/ese/KaleeswaranNVG23, added-at = {2024-10-06T00:00:00.000+0200}, author = {Kaleeswaran, Arut Prakash and Nordmann, Arne and Vogel, Thomas and Grunske, Lars}, biburl = {https://www.bibsonomy.org/bibtex/263047ab1569d39995302ceec9f5922b7/dblp}, ee = {https://doi.org/10.1007/s10664-023-10353-4}, interhash = {0d97356edf23dbd5c2ecf7f30a9698f2}, intrahash = {63047ab1569d39995302ceec9f5922b7}, journal = {Empir. Softw. Eng.}, keywords = {dblp}, month = {October}, number = 5, pages = 125, timestamp = {2024-10-07T07:39:54.000+0200}, title = {A user study for evaluation of formal verification results and their explanation at Bosch.}, url = {http://dblp.uni-trier.de/db/journals/ese/ese28.html#KaleeswaranNVG23}, volume = 28, year = 2023 }