David J. Pearce, Mark Utting, Lindsay Groves. An Introduction to Software Verification with Whiley. In Jonathan P. Bowen, Zhiming Liu 0001, Zili Zhang, editors, Engineering Trustworthy Software Systems - 4th International School, SETSS 2018, Chongqing, China, April 7-12, 2018, Tutorial Lectures. Volume 11430 of Lecture Notes in Computer Science, pages 1-37, Springer, 2018. [doi]
Abstract is missing.