Dataset for "Reasoning about resources in the embedded systems language Hume"

Dataset

Description

Isabelle/HOL theory files, matching the paper
"Reasoning about resources in the embedded systems language Hume" in FOPARA'13
Date made availableMar 2016
PublisherHeriot-Watt University

Contact

Access Dataset

Cite this