John L. Singleton, Gary T. Leavens. Spekl: A Layered System for Specification Authoring, Sharing, and Usage. In 17th IEEE International Conference on Information Reuse and Integration, IRI 2016, Pittsburgh, PA, USA, July 28-30, 2016. pages 126-133, IEEE Computer Society, 2016. [doi]
Abstract is missing.