@InProceedings{BB+25,
    Author       = "Bártek, F. and Bhayat, A. and Coutelier, R. and Hajd{\'u}, 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      = ""
}