From Verification to Explanation (Track Introduction).

Christel Baier, Holger Hermanns

Browse the full ISoLA paper archive.