Author: R. J. R. Back
Publications
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.