Author: R. J. R. Back

Publications

Publication period start: 1984
Number of co-authors: 1

Co-authors

Number of publications with favourite co-authors
P. Hietala
1

Productive Colleagues

Most productive colleagues in number of publications
P. Hietala
1

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.