Author: R. J. R. Back
Publication Overview
Publication period start: 1984
Number of co-authors: 1
Co-Authors
Number of publications with favourite co-authors
Productive Colleagues
Most productive colleagues in number of publications
Publications
Back,
R. J. R.,
Hietala,
P.
(1984):
A Simple User Interface for Interactive Program Verification.
In:
Shackel,
Brian
(eds.)
INTERACT 84 - 1st IFIP International Conference on Human-Computer Interaction
September 4-7,
1984,
London, UK.
pp. 391-395.