Commit 7dfe7f0f authored by Teresa Carbajo-Garcia's avatar Teresa Carbajo-Garcia

Update 2020-01-22-hase.md

parent 9c17df5f
Pipeline #118282 canceled with stages
---
title: Talk on Gillian, Workshop on High Assurance Systems Engineering, POPL 2020
---
......
Markdown is supported
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