Citation

dafny-lang · Nov 1, 2024 · e390184 · e390184
1 parent c8507ca
commit e390184
Show file tree

Hide file tree

Showing 2 changed files with 20 additions and 1 deletion.
diff --git a/CITATION.cff b/CITATION.cff
@@ -7,4 +7,13 @@ authors:
   given-names: "Jean-Baptiste"
 title: "Dafny-VMC: a Library for Verified Monte Carlo Algorithms"
 url: "https://github.com/dafny-lang/Dafny-VMC"
-year: 2023
+preferred-citation:
+  type: software
+  authors:
+  - family-names: "Zetzsche"
+    given-names: "Stefan"
+  - family-names: "Tristan"
+    given-names: "Jean-Baptiste"
+  title: "Dafny-VMC: a Library for Verified Monte Carlo Algorithms"
+  url: "https://github.com/dafny-lang/Dafny-VMC"
+  year: 2023  
diff --git a/README.md b/README.md
@@ -6,6 +6,16 @@ The main developers of Dafny-VMC are [Stefan Zetzsche](https://zetzsche.st) and
 
 Many other people have contributed to it (in no particular order): Aws Albharghouti, Anjali Joshi, Tancrede Lepoint, Mikael Mayer, Muhammad Naveed, Tristan Ravitch, Fabian Zaiser.
 
+To cite Dafny-VMC you can currently use the following reference:
+```  
+@software{Zetzsche_Dafny-VMC_a_Library,
+author = {Zetzsche, Stefan and Tristan, Jean-Baptiste},
+title = {{Dafny-VMC: a Library for Verified Monte Carlo Algorithms}},
+url = {https://github.com/dafny-lang/Dafny-VMC}
+year = {2023}
+}
+```
+
 ## Java
 
 ### Java API