Industrial Applications . . . via Category Theory -- Case Studies Using Specware (2001)

Cached

Download Links

by Keith Williamson , Michael Healy , Richard Barker