Publications
Filter by
Open menu
1 result for
Andrew Kay
Sequential to parallel buffer refinement
Andrew Kay
Peter Lupton
1992
Formal Aspects of Computing