Provider: Schloss Dagstuhl - Leibniz Center for Informatics
Database: dblp computer science bibliography
Content:text/plain; charset="utf-8"
TY - CPAPER
ID - DBLP:conf/fsen/EliottB21
AU - Eliott, Harold Pancho
AU - Berger, Martin
TI - A Program Logic for Fresh Name Generation.
BT - Fundamentals of Software Engineering - 9th International Conference, FSEN 2021, Virtual Event, May 19-21, 2021, Revised Selected Papers
SP - 76
EP - 91
PY - 2021//
DO - 10.1007/978-3-030-89247-0_6
UR - https://doi.org/10.1007/978-3-030-89247-0_6
ER -
