Commit 8e59877d authored by Teresa Carbajo-Garcia's avatar Teresa Carbajo-Garcia

Update 2020-01-22-hase.md

parent ba001830
Pipeline #118286 canceled with stages
......@@ -6,7 +6,7 @@ Philippa was one of the speakers at the [Interactive Knowledge
Shares session](https://popl20.sigplan.org/details/hase-2020-papers/2/Interactive-Knowledge-Shares)
of this year’s [HASE, the Workshop on High Assurance Systems Engineering]( https://popl20.sigplan.org/home/hase-2020)
HASE, part of [POPL20](https://popl20.sigplan.org) aims to forge new collaborations and initiatives which strive to provide
HASE, part of [POPL](https://popl20.sigplan.org) aims to forge new collaborations and initiatives which strive to provide
high levels of assurance about the correct operation and security properties
of production systems (software and hardware).
......
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