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