Fix year.
This commit is contained in:
parent
3169c114d8
commit
5909105764
|
@ -114,7 +114,7 @@
|
|||
Katoen, Joost-Pieter and
|
||||
Matheja, Christoph},
|
||||
booktitle = popl21,
|
||||
year = 2020,
|
||||
year = 2021,
|
||||
url = {https://arxiv.org/abs/1901.06540},
|
||||
eprint = {1901.06540},
|
||||
archivePrefix = {arXiv},
|
||||
|
|
Loading…
Reference in New Issue