Travelled to:
1 × Finland
Collaborated with:
A.K.McIver C.C.Morgan
Talks about:
probabilist (1) refut (1) refin (1) proof (1)
Person: C. Gonzalia
DBLP: Gonzalia:C=
Contributed to:
Wrote 1 papers:
- FM-2008-McIverMG #probability #proving #refinement
- Proofs and Refutations for Probabilistic Refinement (AKM, CCM, CG), pp. 100–115.