Skip to content
Snippets Groups Projects
Commit 93a716a4 authored by Teresa Carbajo-Garcia's avatar Teresa Carbajo-Garcia
Browse files

Update 2020-09-3-concurtalk.md

parent 14b2e3e9
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
_posts/2020-09-3-concurtalk.md
+ 1
− 1
View file @ 93a716a4
---
Title: Video talk on Decidable Inductive Invariants at CONCUR 2020.
title: Video talk on Decidable Inductive Invariants at CONCUR 2020
---
The talk by Emanuele D’Osualdo and Felix Stutz on their paper "Decidable Inductive Invariants for Verification of Cryptographic Protocols with Unbounded Sessions", presented at [CONCUR 2020](https://easychair.org/smart-program/CONCUR20/index.html), is now available online and can be seen [on the link here](https://youtu.be/h9fsG_vfeFw?t=1256) or below.
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment