Name Last modified Size Description
Parent directory
facetav2017.jpg 10-Nov-17 10:03 27K
facetav2017_david.jpg 10-Nov-17 10:09 41K
facetav2017_hoare.jpg 10-Nov-17 10:11 153K
facetav2017_speakers.> 10-Nov-17 10:25 67K
Pasareanu.jpg 10-Nov-17 10:15 75K
5 files