Marco Eilers, Malte Schwerhoff, Alexander J. Summers, Peter Müller 0001. Fifteen Years of Viper. In Ruzica Piskac, Zvonimir Rakamaric, editors, Computer Aided Verification - 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part I. Volume 15931 of Lecture Notes in Computer Science, pages 107-123, Springer, 2025. [doi]
Abstract is missing.