SV-LIB 1.0: A Standard Exchange Format for Software-Verification Tasks — Dirk Beyer, Gidon Ernst, Martin Jonáš, Marian Lingsch-Rosenfeld | Kutubxona