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

Update 2017-02-11-INVEST.md

parent 92d20bfd
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
_posts/2017-02-11-INVEST.md
+ 1
− 0
View file @ a70788d3
...@@ -6,6 +6,7 @@ Over sixty people attended the [Introduction to Verification and Testing worksho ...@@ -6,6 +6,7 @@ Over sixty people attended the [Introduction to Verification and Testing worksho
![Derek Dreyer presenting his talk on How to Give Talks](/images/posts/Derek-Dreyer-talk-at-Invest-2017-2.jpg) ![Derek Dreyer presenting his talk on How to Give Talks](/images/posts/Derek-Dreyer-talk-at-Invest-2017-2.jpg)
![Derek Dreyer presenting his talk on How to Give Talks](/images/posts/Derek-Dreyer-talk-at-Invest-2017.jpg) ![Derek Dreyer presenting his talk on How to Give Talks](/images/posts/Derek-Dreyer-talk-at-Invest-2017.jpg)
![Cris Cadar presenting his talk on How to Give Talks](/images/posts/Cris-Cadar-talk-at-Invest-2017)
The INVEST workshop, organised by [Alastair Donaldson]( http://multicore.doc.ic.ac.uk/), The INVEST workshop, organised by [Alastair Donaldson]( http://multicore.doc.ic.ac.uk/),
[Christian Cadar]( https://www.doc.ic.ac.uk/~cristic/) and [Philippa Gardner](https://www.doc.ic.ac.uk/~pg/) [Christian Cadar]( https://www.doc.ic.ac.uk/~cristic/) and [Philippa Gardner](https://www.doc.ic.ac.uk/~pg/)
......
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