%0 Conference Paper %1 conf/fase/JanssenRW24 %A Janßen, Christian %A Richter, Cedric %A Wehrheim, Heike %B FASE %D 2024 %E Beyer, Dirk %E Cavalcanti, Ana %I Springer %K dblp %P 266-279 %T Can ChatGPT support software verification? %U http://dblp.uni-trier.de/db/conf/fase/fase2024.html#JanssenRW24 %V 14573 %@ 978-3-031-57259-3

@inproceedings{conf/fase/JanssenRW24, added-at = {2024-04-14T00:00:00.000+0200}, author = {Janßen, Christian and Richter, Cedric and Wehrheim, Heike}, biburl = {https://www.bibsonomy.org/bibtex/2873a214641be1b08679b3ebe17839b3a/dblp}, booktitle = {FASE}, crossref = {conf/fase/2024}, editor = {Beyer, Dirk and Cavalcanti, Ana}, ee = {https://doi.org/10.1007/978-3-031-57259-3_13}, interhash = {88602e6f92a42904a09a8272c520fd30}, intrahash = {873a214641be1b08679b3ebe17839b3a}, isbn = {978-3-031-57259-3}, keywords = {dblp}, pages = {266-279}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-15T07:04:45.000+0200}, title = {Can ChatGPT support software verification?}, url = {http://dblp.uni-trier.de/db/conf/fase/fase2024.html#JanssenRW24}, volume = 14573, year = 2024 }