Update CONTRIBUTORS.md for SV-COMP23

s0mark · Oct 20, 2022 · 2b73b97 · 2b73b97
1 parent 839e141
commit 2b73b97
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/CONTRIBUTORS.md b/CONTRIBUTORS.md
@@ -10,5 +10,7 @@ Contributors:
 * [Milán Mondok](https://github.com/mondokm)
 * [Dániel Szekeres](https://github.com/szdan97)
 * [László Radnai](https://github.com/radl97)
-* [Zsófia Ádam](https://github.com/AdamZsofi)
+* [Zsófia Ádám](https://github.com/AdamZsofi)
 * [Vince Molnár](https://github.com/vincemolnar)
+* [Márk Somorjai](https://github.com/s0mark)
+* [Csanád Telbisz](https://github.com/csanadtelbisz)