Meta data
- BibTeX key
- journals/corr/abs-2210-16114
- entry type
- article
- year
- 2022
- journal
- CoRR
- volume
- abs/2210.16114
- ee
- https://doi.org/10.48550/arXiv.2210.16114
- url
- http://dblp.uni-trier.de/db/journals/corr/corr2210.html#abs-2210-16114
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Journal Article
%1 journals/corr/abs-2210-16114
%A Geng, Chuqin
%A Le, Nham
%A Xu, Xiaojie
%A Wang, Zhaoyue
%A Gurfinkel, Arie
%A Si, Xujie
%D 2022
%J CoRR
%K dblp
%T Toward Reliable Neural Specifications.
%U http://dblp.uni-trier.de/db/journals/corr/corr2210.html#abs-2210-16114
%V abs/2210.16114
@article{journals/corr/abs-2210-16114,
added-at = {2022-11-02T00:00:00.000+0100},
author = {Geng, Chuqin and Le, Nham and Xu, Xiaojie and Wang, Zhaoyue and Gurfinkel, Arie and Si, Xujie},
biburl = {https://www.bibsonomy.org/bibtex/2c095c15ea06c30b68692b30e1343590d/dblp},
ee = {https://doi.org/10.48550/arXiv.2210.16114},
interhash = {06fcc304dd3ee1d44a51477c5aeea015},
intrahash = {c095c15ea06c30b68692b30e1343590d},
journal = {CoRR},
keywords = {dblp},
timestamp = {2024-04-08T23:38:47.000+0200},
title = {Toward Reliable Neural Specifications.},
url = {http://dblp.uni-trier.de/db/journals/corr/corr2210.html#abs-2210-16114},
volume = {abs/2210.16114},
year = 2022
}