diff options
Diffstat (limited to 'CITATION.cff')
-rw-r--r-- | CITATION.cff | 46 |
1 files changed, 0 insertions, 46 deletions
diff --git a/CITATION.cff b/CITATION.cff deleted file mode 100644 index c114ec6..0000000 --- a/CITATION.cff +++ /dev/null @@ -1,46 +0,0 @@ -# -*- mode: yaml -*- -cff-version: 1.2.0 -message: "If you use this software, please cite it as below." -authors: -- family-names: "Herklotz" - given-names: "Yann" - orcid: "https://orcid.org/0000-0002-2329-1029" -- family-names: "Pollard" - given-names: "James D." - orcid: "https://orcid.org/0000-0003-1404-1527" -- family-names: "Ramanathan" - given-names: "Nadesh" - orcid: "https://orcid.org/0000-0001-9083-8349" -- family-names: "Wickerson" - given-names: "John" - orcid: "https://orcid.org/0000-0001-6735-5533" -title: "Vericert" -version: 1.2.2 -doi: 10.5281/zenodo.5093839 -date-released: 2021-10-01 -url: "https://github.com/ymherklotz/vericert" -preferred-citation: - type: article - authors: - - family-names: "Herklotz" - given-names: "Yann" - orcid: "https://orcid.org/0000-0002-2329-1029" - - family-names: "Pollard" - given-names: "James D." - orcid: "https://orcid.org/0000-0003-1404-1527" - - family-names: "Ramanathan" - given-names: "Nadesh" - orcid: "https://orcid.org/0000-0001-9083-8349" - - family-names: "Wickerson" - given-names: "John" - orcid: "https://orcid.org/0000-0001-6735-5533" - doi: "10.1145/3485494" - journal: "Proc. ACM Program. Lang." - month: 11 - pages: 30 - title: "Formal Verification of High-Level Synthesis" - volume: 5 - year: 2021 - number: OOPSLA - publisher: Association for Computing Machinery - address: New York, NY, USA |