Symposium on AI Verification (8. : 2025 : Zagreb)

verschiedene Zählungen, je nachdem, ob die Vorgänger (FoMLAS und WOLVERINE) mitgezählt werden oder nicht