%0 Conference Paper %1 conf/esop/MuraliPLM20 %A Murali, Adithya %A Peña, Lucas %A Löding, Christof %A Madhusudan, P. %B ESOP %D 2020 %E Müller, Peter %I Springer %K dblp %P 515-543 %T A First-Order Logic with Frames. %U http://dblp.uni-trier.de/db/conf/esop/esop2020.html#MuraliPLM20 %V 12075 %@ 978-3-030-44914-8

@inproceedings{conf/esop/MuraliPLM20, added-at = {2021-05-14T00:00:00.000+0200}, author = {Murali, Adithya and Peña, Lucas and Löding, Christof and Madhusudan, P.}, biburl = {https://www.bibsonomy.org/bibtex/2dba9bbfbafd1b79fbeb520abfe4ab795/dblp}, booktitle = {ESOP}, crossref = {conf/esop/2020}, editor = {Müller, Peter}, ee = {https://doi.org/10.1007/978-3-030-44914-8_19}, interhash = {868d73f6566071543746b1da85155119}, intrahash = {dba9bbfbafd1b79fbeb520abfe4ab795}, isbn = {978-3-030-44914-8}, keywords = {dblp}, pages = {515-543}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T15:02:13.000+0200}, title = {A First-Order Logic with Frames.}, url = {http://dblp.uni-trier.de/db/conf/esop/esop2020.html#MuraliPLM20}, volume = 12075, year = 2020 }