diff --git a/_posts/2017-02-11-INVEST.md b/_posts/2017-02-11-INVEST.md index 821f7d2fe1244a69a212dcc17580fd309fc67b8d..85a67ac82a24183e1b5d3e7eb741a74fee2df098 100644 --- a/_posts/2017-02-11-INVEST.md +++ b/_posts/2017-02-11-INVEST.md @@ -6,6 +6,7 @@ Over sixty people attended the [Introduction to Verification and Testing worksho   + 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/)