Thursday 21 September 2023
On Tuesday 17 October next, Sophie Lathouwers will defend her thesis Exploring Annotations for Deductive Verification. Her supervisor is Prof. Dr. Marieke Huisman.
On Tuesday 17 October next, Sophie Lathouwers will defend her thesis Exploring Annotations for Deductive Verification. Her supervisor is Prof. Dr. Marieke Huisman.