Spekl: A Layered System for Specification Authoring, Sharing, and Usage.

John L. Singleton, Gary T. Leavens

Browse the full IRI paper archive.