Reasoning about resources in the embedded systems language Hume

Hans Wolfgang Loidl^*
, Gudmund Grov

^*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

1 results
- Last Name(descending)

Hans-Wolfgang Loidl
- H.W.Loidlhw.acuk
- School of Mathematical & Computer Sciences - Professor
- School of Mathematical & Computer Sciences, Computer Science - Professor
Person: Academic (Teaching)