Neue Publikation

November 30, 2021

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