Reasoning about order errors in interaction (2000)

by Paul Curzon , Ann Blandford
Venue:Supplementary Proceedings of TPHOLs2000
Citations:5 - 4 self