P. Hietala

Personal Homepage
Employer
()
Email

Publication Statistics

Publication period start
1984
Publication period end
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.