BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: 0001:David_Aspinall

Contributed to:

TACAS 20002000
FASE 20162016

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.