Merge branch 'master' of ssh://github.com/utwente-fmt/vercors-web

static/references.bib

@@ -1,3 +1,39 @@
+
+@phdthesis{Lathouwers23,
+  title = "Exploring annotations for deductive verification",
+  author = "Sophie Lathouwers",
+  year = "2023",
+  month = oct,
+  day = "17",
+  doi = "10.3990/1.9789036558464",
+  isbn = "978-90-365-5845-7",
+  series = "DSI Ph.D. Thesis Series",
+  publisher = "University of Twente",
+  number = "23-009",
+  address = "Netherlands",
+  school = "University of Twente",
+  url={https://research.utwente.nl/files/320453422/Dissertation-Lathouwers-with-cover-and-clickable-links.pdf}
+}
+
+@inproceedings{ArmborstH23,
+  author       = {Lukas Armborst and
+                  Sophie Lathouwers and
+                  Marieke Huisman},
+  editor       = {Paula Herber and
+                  Anton Wijs},
+  title        = {Joining Forces! Reusing Contracts for Deductive Verifiers Through
+                  Automatic Translation},
+  booktitle    = {iFM 2023 - 18th International Conference, iFM 2023, Leiden, The Netherlands,
+                  November 13-15, 2023, Proceedings},
+  series       = {Lecture Notes in Computer Science},
+  volume       = {14300},
+  pages        = {153--171},
+  publisher    = {Springer},
+  year         = {2023},
+  url          = {https://doi.org/10.1007/978-3-031-47705-8\_9},
+  doi          = {10.1007/978-3-031-47705-8\_9}
+}
+
 @inproceedings{Bliudze2023,
 AUTHOR = {Bliudze, Simon and van den Bos, Petra and Huisman, Marieke and Rubbens, Robert and Safina, Larisa},
 TITLE = {{JavaBIP meets VerCors: Towards the Safety of Concurrent Software Systems in Java}},
@@ -235,7 +271,7 @@ @InProceedings {Armborst2021
 pages = {111-123},
 keywords = {tree data structures;annotations;merging;tools;software;ip networks;arrays},
 doi = {10.1109/FormaliSE52586.2021.00017},
-url = {https://doi.ieeecomputersociety.org/10.1109/FormaliSE52586.2021.00017},
+url = {https://research.utwente.nl/files/253558432/Permission_Based_Verification_of_Red_Black_Trees_and_Their_Merging.pdf},
 publisher = {IEEE Computer Society},
 address = {Los Alamitos, CA, USA},
 month = {may}