DOI,IST REx ID,Research Group,Title of publication
10.1145/3779031.3779110,21133,MiSa,A recipe for modular verification of generic tree traversals