Describing and Reasoning about Sorting Networks
Paper in proceeding, 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