Fifteen Years of Viper

Eilers, Marco, Schwerhoff, Malte, Summers, Alexander J. · Lecture Notes in Computer Science · 2025