placeholder image

Aspinall, David

Person

Positions

University of Edinburgh

selected publications

chapter
- Assisted Proof Document Authoring. Lecture Notes in Computer Science. 2006

full name

David Aspinall

Publications in VIVO

Co-author Network