David J. Pearce, Lindsay Groves. Whiley: A Platform for Research in Software Verification. In Martin Erwig, Richard F. Paige, Eric {Van Wyk}, editors, Software Language Engineering - 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings. Volume 8225 of Lecture Notes in Computer Science, pages 238-248, Springer, 2013. [doi]
Abstract is missing.