Pasetto, LucaLucaPasettoBenzmüller, ChristophChristophBenzmüller0000-0002-3392-30932026-09-162026-09-162026https://fis.uni-bamberg.de/handle/uniba/117139-engFatio Protocol for Formal Dialogue004The Fatio Protocol for Formal Dialogue in Isabelle/HOLconferenceobjecthttps://europroofnet.github.io/wg5-edinburgh25/urn:nbn:de:bvb:473-irb-117139x