Meta data
- BibTeX key
- journals/afp/BlanchettePT17
- entry type
- article
- year
- 2017
- journal
- Arch. Formal Proofs
- volume
- 2017
- ee
- https://www.isa-afp.org/entries/Abstract_Soundness.shtml
- url
- http://dblp.uni-trier.de/db/journals/afp/afp2017.html#BlanchettePT17
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Journal Article
%1 journals/afp/BlanchettePT17
%A Blanchette, Jasmin Christian
%A Popescu, Andrei
%A Traytel, Dmitriy
%D 2017
%J Arch. Formal Proofs
%K
%T Abstract Soundness.
%U http://dblp.uni-trier.de/db/journals/afp/afp2017.html#BlanchettePT17
%V 2017
@article{journals/afp/BlanchettePT17,
added-at = {2023-12-13T02:27:57.000+0100},
author = {Blanchette, Jasmin Christian and Popescu, Andrei and Traytel, Dmitriy},
biburl = {https://www.bibsonomy.org/bibtex/265aa21abd8284fe737a1c9c3be0da9fb/admin},
ee = {https://www.isa-afp.org/entries/Abstract_Soundness.shtml},
interhash = {7f8ddba232116fe4452c6e72f9856ca2},
intrahash = {65aa21abd8284fe737a1c9c3be0da9fb},
journal = {Arch. Formal Proofs},
keywords = {},
timestamp = {2023-12-13T02:27:57.000+0100},
title = {Abstract Soundness.},
url = {http://dblp.uni-trier.de/db/journals/afp/afp2017.html#BlanchettePT17},
volume = 2017,
year = 2017
}