From 95be43e6c32c75261e0c3ea980f9b3b2913e77d5 Mon Sep 17 00:00:00 2001 From: Thomas Wood <thomas.wood09@imperial.ac.uk> Date: Wed, 29 Mar 2017 22:33:15 +0100 Subject: [PATCH] Fix typoed link --- _posts/2016-10-03-papers.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/_posts/2016-10-03-papers.md b/_posts/2016-10-03-papers.md index 8c38371..c222fd8 100644 --- a/_posts/2016-10-03-papers.md +++ b/_posts/2016-10-03-papers.md @@ -1,7 +1,7 @@ --- title: Papers published by Azalea Raad --- -Azalea Raad has had two papers published in Programming Languages and System: Proceedings of the 14th Asian Symposium, [APLAS 2016[(https://soict.hust.edu.vn/~aplas2016/). +Azalea Raad has had two papers published in Programming Languages and System: Proceedings of the 14th Asian Symposium, [APLAS 2016](https://soict.hust.edu.vn/~aplas2016/). The papers are: [Verifying Concurrent Graph Algorithms](http://psvg.doc.ic.ac.uk/publications/Raad2016Verifying.html) (with Aquinas Hobor, Jules Villard and Philippa Gardner) and [DOM: Specification and Client Reasoning](http://psvg.doc.ic.ac.uk/publications/Raad2016DOM.html) (with José Fragoso Santos and Philippa Gardner) These and other group papers can be found on our [publications page](http://psvg.doc.ic.ac.uk/publications/) -- GitLab