Formal Methods in Security

SysV: Q&A session video

Written on 03.12.2020 09:02 by Hamed Nemati

The video for the first Q&A session is published: link. Unfortunately we managed to record only the second half of the session!