University Homepage
School Homepage
School Contacts
School Search
Informatics Report Series
Author
Martin Hofmann
Related Pages
Report (by Number) Index
Report (by Date) Index
Author Index
Institute Index
Home
Report
Date
Title
EDI-INF-RR-1148
Sep 2004
A Program Logic for Resource Verification
EDI-INF-RR-0760
2005
Mobile Resource Guarantees for Smart Devices
EDI-INF-RR-0033
Jan 2001
A Higher-Order Embedding of a Logic of Objects
Home
:
Publications
:
Author
Please mail <reports@inf.ed.ac.uk> with any changes or corrections.
Unless explicitly stated otherwise, all material is copyright The University of Edinburgh