The final grades can now be found on the personal status pages. Feel free to contact your advisor if any questions arise.
We thank you for your participation in the proseminar and hope you enjoyed it as much as we did! If you want to learn even more about software reliability, we invite you to attend our core lecture Verification in the upcoming semester (link). We hope to see you there and wish you a successful and healthy winter semester!