Article,
Verified Low-Level Programming Embedded in F*.
J. Protzenko, J. Zinzindohoué, A. Rastogi, T. Ramananandro, P. Wang, S. Béguelin, A. Delignat-Lavaud, C. Hritcu, K. Bhargavan, C. Fournet, and N. Swamy.CoRR, (2017)
Meta data
- BibTeX key
- journals/corr/BhargavanDFHPRR17
- entry type
- article
- year
- 2017
- journal
- CoRR
- volume
- abs/1703.00053
- ee
- http://arxiv.org/abs/1703.00053
- url
- http://dblp.uni-trier.de/db/journals/corr/corr1703.html#BhargavanDFHPRR17
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Journal Article
%1 journals/corr/BhargavanDFHPRR17
%A Protzenko, Jonathan
%A Zinzindohoué, Jean Karim
%A Rastogi, Aseem
%A Ramananandro, Tahina
%A Wang, Peng
%A Béguelin, Santiago Zanella
%A Delignat-Lavaud, Antoine
%A Hritcu, Catalin
%A Bhargavan, Karthikeyan
%A Fournet, Cédric
%A Swamy, Nikhil
%D 2017
%J CoRR
%K
%T Verified Low-Level Programming Embedded in F*.
%U http://dblp.uni-trier.de/db/journals/corr/corr1703.html#BhargavanDFHPRR17
%V abs/1703.00053
@article{journals/corr/BhargavanDFHPRR17,
added-at = {2023-12-12T19:35:18.000+0100},
author = {Protzenko, Jonathan and Zinzindohoué, Jean Karim and Rastogi, Aseem and Ramananandro, Tahina and Wang, Peng and Béguelin, Santiago Zanella and Delignat-Lavaud, Antoine and Hritcu, Catalin and Bhargavan, Karthikeyan and Fournet, Cédric and Swamy, Nikhil},
biburl = {https://www.bibsonomy.org/bibtex/28d5c51d2ea47004eb64a406249fb7041/admin},
ee = {http://arxiv.org/abs/1703.00053},
interhash = {22ff312a085faad9c10df6e5ad66059e},
intrahash = {8d5c51d2ea47004eb64a406249fb7041},
journal = {CoRR},
keywords = {},
timestamp = {2023-12-12T19:35:18.000+0100},
title = {Verified Low-Level Programming Embedded in F*.},
url = {http://dblp.uni-trier.de/db/journals/corr/corr1703.html#BhargavanDFHPRR17},
volume = {abs/1703.00053},
year = 2017
}