Citation and readme

CITATION.cff

@@ -0,0 +1,19 @@
+cff-version: 1.2.0
+message: "If you use this software, please cite it as below."
+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"
+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

README.md

@@ -1,7 +1,11 @@
-# VMC: a Library for Verified Monte Carlo Algorithms
+# Dafny-VMC: a Library for Verified Monte Carlo Algorithms
 
 The `DafnyVMC` module introduces utils for probabilistic reasoning in Dafny. At the moment, the API is intentionally limited in scope, and only supports compilation to Java and Python. For the future, we plan to extend both the functionality and the range of supported languages.
 
+The main developers of Dafny-VMC are [Stefan Zetzsche](https://zetzsche.st) and [Jean-Baptiste Tristan](https://jtristan.github.io/).
+
+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.
+
 ## Java
 
 ### Java API