Describing and Reasoning about Sorting Networks
Paper in proceedings, 2003

Author

Mary Sheeran

Chalmers, Department of Computing Science, Formal Methods

Invited talk at 15th Nordic Workshop on Programming Theory, NWPT'03, Turku, Finland, October 2003

Subject Categories

Computer and Information Science

More information

Created

10/8/2017