Reuse of Knowledge at an Appropriate Level of Abstraction - Case Studies Using Specware.

Keith E. Williamson, Michael Healy, Richard A. Barker

Browse the full ICSR paper archive.