Oxford logo
[BK09b] D. Bucur and M. Kwiatkowska. Rely-Guarantee Reasoning for Context-Aware Software. In Proc. Workshop on Formal Approaches to Ubiquitous Systems (FAUSt '09). Extended abstract. September 2009. [pdf]
Download:  pdf pdf (65 KB)
Links: [Google] [Google Scholar] [CiteSeer]

>  Home

>  People

>  Projects

>  Publications


Useful links: