A Study Of User Activity In Interactive Theorem Proving
Stuart Aitken‚ Philip Gray‚ Tom Melham and Muffy Thomas
Book Title
Task Centred Approaches To Interface Design: Glasgow Interactive Systems Group Research Review
Editor
Chris Johnson
Month
August
Note
GIST Technical Report G95.2
Pages
195–218
Publisher
Department of Computing Science‚ University of Glasgow
Year
1995