From 4ccede56f4ef61906e45f835db3d33ed8c980965 Mon Sep 17 00:00:00 2001
From: Stefan Zetzsche <120379523+stefan-aws@users.noreply.github.com>
Date: Fri, 1 Nov 2024 17:16:59 +0000
Subject: [PATCH] Update README.md

---
 README.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/README.md b/README.md
index ef17615..bc07865 100644
--- a/README.md
+++ b/README.md
@@ -8,10 +8,10 @@ Many other people have contributed to it (in no particular order): Aws Albhargho
 
 To cite Dafny-VMC you can currently use the following reference:
 ```  
-@software{Zetzsche_Dafny-VMC_a_Library,
+@software{Zetzsche_Dafny-VMC_a_Library_2023,
 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}
+url = {https://github.com/dafny-lang/Dafny-VMC},
 year = {2023}
 }
 ```