HOL-Z, an integrated formal support environment for Z in Isabelle/HOLKolyang Dina TaiweVypredaná4,3Postrážiť