Reuse of Knowledge at an Appropriate Level of Abstraction -- Case Studies Using Specware (2000)

by al
Venue:Lecture Notes in Computer Science #1844, International Conference on Software Reuse