A termination checker for Isabelle Hoare logic
Date
Authors
Meng, Jia
Paulson, Lawrence C.
Klein, Gerwin
Journal Title
Journal ISSN
Volume Title
Publisher
CEUR-WS.ORG
Abstract
Description
Keywords
Citation
Collections
Source
4th International Verification Workshop (VERIFY 2007)
Type
Book Title
Entity type
Access Statement
License Rights
DOI
Restricted until
2037-12-31