Search
Now showing items 1-2 of 2
Probabilistic program verification in the style of the unifying theories of programming
(Trinity College (Dublin, Ireland). School of Computer Science & Statistics, 2013)
The structure and dynamics of the lithosphere beneath Tibet from seismic surface-wave analysis
(Trinity College (Dublin, Ireland). Department of Geology, 2013)