Im Rahmen des Formal Methods Teaching Workshop and Tutorial (FMTea), der zusammen mit der Formal Methods Conference (FM2021) stattfand, präsentierte ich Online Teaching of Verification of C Programs in Applied Computer Science
Update: Video recording of the presentation