Vol-258⫷ Vol-259 ⫸Vol-260
urn:nbn:de:0074-259-0


Vol-259/paper-9⫷Vol-259/paper-10⫸Vol-259/paper-11
Jia Meng 0002Gerwin KleinLawrence C. Paulson

A Termination Checker for Isabelle Hoare Logic