Next:
Background
Probabilistic Abstract Interpretation
C.Hankin, A.Di Pierro and H.Wiklicky
Background
Abstract Interpretation
Open Problem: Error Quantification
Probabilistic Semantics
Programme and Methodology
Overall Aims and Objectives
Methodology
Workplan
Relevance to Beneficiaries
References
Next:
Background