Sabine Glesner, Björn Bartels, Thomas Göthel, Moritz Kleine. The VATES-Diamond as a Verifier s Best Friend. In Simon Siegler, Nathan Wasser, editors, Verification, Induction, Termination Analysis - Festschrift for Christoph Walther on the Occasion of His 60th Birthday. Volume 6463 of Lecture Notes in Computer Science, pages 81-101, Springer, 2010. [doi]
Abstract is missing.