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

Cite this

Loidl, H. (Creator)(Mar 2016). Dataset for "Reasoning about resources in the embedded systems language Hume". Heriot-Watt University. Hume_formalisation(.tgz). 10.17861/87c645c9-db55-4b6e-96f6-13ffbe046f15