[TutorialFest@POPL'24] Automated Datastructure Verification using Unfoldings and SMT Solvi... Published -- Download video MP4 360p