Reasoning about resources in the embedded systems language Hume

Hans Wolfgang Loidl, Gudmund Grov

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Search results