@InProceedings{BB+25,
    Author       = "Bártek, F. and Bhayat, A. and Coutelier, R. and Hajdu, M. and Hetzenberger, M.
                    and Hozzová, P. and Kovács, L. and Rath, J. and Rawson, M. and Reger, G. and
                    Suda, M. and Schoisswohl, J. and Voronkov, A.",
    Year         = "2025",
    Title        = "{The Vampire Diary}",
    Editor       = "Piskac, R. and Rakamaric, Z.",
    BookTitle    = "{Proceedings of the 37th International Conference on Computer Aided
                    Verification}",
    Place        = "Zagreb, Croatia",
    Series       = "Lecture Notes in Computer Science",
    Number       = "15933",
    Pages        = "57-71",
    Comment      = ""
}