Browse by Journal

Up a level
Export as [feed] RSS
Group by: Item Type | No Grouping
Jump to: Article
Number of items: 4.

Article

Reus, Bernhard, Charlton, Nathaniel and Horsfall, Ben (2015) Symbolic execution proofs for higher order store programs. Journal of Automated Reasoning, 54 (3). pp. 199-284. ISSN 0168-7433

Riely, James and Hennessy, Matthew (2003) Trust and Partial Typing in Open Systems of Mobile Agents. Journal of Automated Reasoning, 31 (3-4). pp. 335-370. ISSN 0168-7433

Riely, James and Hennessy, Matthew (2003) Trust and Partial Typing in Open Systems of Mobile Agents. Journal of Automated Reasoning, 31 (3-4). pp. 335-370. ISSN 0168-7433

Reus, Bernhard (1999) Formalizing synthetic domain theory - the basic definitions. Journal of Automated Reasoning, 23 (3-4). pp. 411-444. ISSN 01687433

This list was generated on Mon Dec 11 20:19:53 2017 GMT.