Jørgen Villadsen
Talk 25:00

Teaching Automated Reasoning and Formally Verified Software

More great virtual tech conferences - https://codesync.global

Watch on YouTube