Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Journal Article
%1 journals/corr/abs-2104-00762
%A Bourgeat, Thomas
%A Clester, Ian
%A Erbsen, Andres
%A Gruetter, Samuel
%A Wright, Andrew
%A Chlipala, Adam
%D 2021
%J CoRR
%K dblp
%T A Multipurpose Formal RISC-V Specification.
%U http://dblp.uni-trier.de/db/journals/corr/corr2104.html#abs-2104-00762
%V abs/2104.00762
@article{journals/corr/abs-2104-00762,
added-at = {2021-04-12T00:00:00.000+0200},
author = {Bourgeat, Thomas and Clester, Ian and Erbsen, Andres and Gruetter, Samuel and Wright, Andrew and Chlipala, Adam},
biburl = {https://www.bibsonomy.org/bibtex/25507853f5425cc95a691793cd77cd0cb/dblp},
ee = {https://arxiv.org/abs/2104.00762},
interhash = {0032699b5428fec7df9b6013d33884fc},
intrahash = {5507853f5425cc95a691793cd77cd0cb},
journal = {CoRR},
keywords = {dblp},
timestamp = {2024-04-08T22:20:56.000+0200},
title = {A Multipurpose Formal RISC-V Specification.},
url = {http://dblp.uni-trier.de/db/journals/corr/corr2104.html#abs-2104-00762},
volume = {abs/2104.00762},
year = 2021
}