Nagini: A Static Verifier for Python

Eilers, Marco, Müller, Peter · Lecture Notes in Computer Science · 2018