Software & System Verification with KIV.

Published in: The Logic of Software. A Tasting Menu of Formal Methods (2022)