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

Update 2016-10-03-papers.md

parent f17af7a6
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
_posts/2016-10-03-papers.md
+ 1
− 1
View file @ a748417c
---
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.
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/)
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment