Travelled to:1 × Germany
Collaborated with:∅ C.Kaliszyk
Talks about:proof (3) generic (1) general (1) develop (1) toward (1) metric (1) formal (1) tool (1)
Person: David Aspinall 0001
DBLP: 0001:David_Aspinall
Contributed to:
2000
2016Wrote 2 papers:
- TACAS-2000-Aspinall #development #proving
- Proof General: A Generic Tool for Proof Development (DA0), pp. 38–42.
- FASE-2016-0001K #metric #proving #towards
- Towards Formal Proof Metrics (DA0, CK), pp. 325–341.