Richard Bubel, Reiner Hähnle, Peter H. Schmitt. Specification Predicates with Explicit Dependency Information. In Bernhard Beckert, Gerwin Klein, editors, Proceedings of the 5th International Verification Workshop in connection with IJCAR 2008, Sydney, Australia, August 10-11, 2008. Volume 372 of CEUR Workshop Proceedings, CEUR-WS.org, 2008. [doi]
Abstract is missing.