Category:Formal Reasoning

From Erights

Revision as of 00:03, 31 October 2007 by Markm (Talk)
(diff) ←Older revision | Current revision (diff) | Newer revision→ (diff)
Jump to: navigation, search

Systems for formally reasoning about, for example authority, in capability systems.

Articles in category "Formal Reasoning"

The following 4 pages are in this category, out of 4 total.



Personal tools
more tools