Verified Commit aca95de3 authored by Sven Keidel's avatar Sven Keidel
Browse files

change acknowledgment notice

parent 4f982ca2
Pipeline #106871 passed with stages
in 68 minutes and 47 seconds
......@@ -65,12 +65,13 @@ Verification, Model Checking, and Abstract Interpretation (VMCAI). Springer, 202
## Acknowledgments
I want to thank everyone that has contributed to this project (in alphabetical order):
The Sturdy project is a joint effort of the following people (in alphabetical order):
Casper Bach Poulsen,
Jente Hidskes,
Matthijs Bijman,
Sarah Müller,
Sebastian Erdweg,
Sven Keidel,
Tobias Hombücher,
Wouter Raateland
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment