1
Foilsithe 2010
Clár Ábhair: ... Computation -- Propositional Interpolation and Abstract Interpretation -- Functional Programming in Sublinear...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
2
Foilsithe 2015
Clár Ábhair: ... Functions -- Stateless Model Checking for TSO and PSO -- GPU Accelerated Strong and Branching Bisimilarity...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar