%0 Conference Paper %1 conf/fscd/LinT20 %A Lin, Yu-Yang %A Tzevelekos, Nikos %B FSCD %D 2020 %E Ariola, Zena M. %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 27:1-27:24 %T Symbolic Execution Game Semantics. %U http://dblp.uni-trier.de/db/conf/fscd/fscd2020.html#LinT20 %V 167 %@ 978-3-95977-155-9

@inproceedings{conf/fscd/LinT20, added-at = {2022-06-23T00:00:00.000+0200}, author = {Lin, Yu-Yang and Tzevelekos, Nikos}, biburl = {https://www.bibsonomy.org/bibtex/27d36b9dce52571e0ce0e5f98bfb2aa7e/dblp}, booktitle = {FSCD}, crossref = {conf/fscd/2020}, editor = {Ariola, Zena M.}, ee = {https://doi.org/10.4230/LIPIcs.FSCD.2020.27}, interhash = {4a81402b85b453d177668c5816e3a21b}, intrahash = {7d36b9dce52571e0ce0e5f98bfb2aa7e}, isbn = {978-3-95977-155-9}, keywords = {dblp}, pages = {27:1-27:24}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2024-04-10T19:07:06.000+0200}, title = {Symbolic Execution Game Semantics.}, url = {http://dblp.uni-trier.de/db/conf/fscd/fscd2020.html#LinT20}, volume = 167, year = 2020 }