Short citation

dafny-lang · Nov 1, 2024 · 7f36faf · 7f36faf
1 parent 426bfdd
commit 7f36faf
Showing 1 changed file with 1 addition and 10 deletions.
diff --git a/CITATION.cff b/CITATION.cff
@@ -7,13 +7,4 @@ authors:
   given-names: "Jean-Baptiste"
 title: "Dafny-VMC: a Library for Verified Monte Carlo Algorithms"
 url: "https://github.com/dafny-lang/Dafny-VMC"
-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
+year: 2023