Commit 7e41ef3c authored by Jacques-Henri Jourdan's avatar Jacques-Henri Jourdan
Browse files

URL pour l'article d'Armaël

parent 36882c54
......@@ -137,7 +137,7 @@
volume = "5",
number = "ICFP",
year={2021},
doi={10.1145/3473586}
url={https://cs.au.dk/~birke/papers/free-theorems-sep-logic.pdf}
}
@inproceedings{zakowski2018verified,
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment