Skip to content

Commit

Permalink
Adding CITATION file.
Browse files Browse the repository at this point in the history
  • Loading branch information
@apetcher-amazon
apetcher-amazon committed Apr 23, 2024
1 parent fbcf31b commit 89277ae
Showing 1 changed file with 4 additions and 0 deletions.
4 changes: 4 additions & 0 deletions CITATION.cff
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,4 @@
cff-version: 1.2.0
message: "Please cite this work as shown below."
title: "Formal Verification of AWS libcrypto"
url: "https://github.com/awslabs/awslc-verification"

0 comments on commit 89277ae

Please sign in to comment.