Forgot your password?
New user?
Document Actions
Wiki
Up one levelWiki pages on topics related formalized mathematics and computing, automated deduction, verification,
program analysis, programming languages, dependability, and related topics are maintained here
so as to enable cross-linking of such content.
- Formal Methods Outreach Workshop 2008 — last modified 2008-06-23 09:52
- A Formal Methods Outreach Workshop was held at SRI International in Menlo Park California during June 9 and 10, 2008. The goal of the meeting was to brainstorm strategies for broadening the uptake ...
