Skip to content. Skip to navigation

QPQ Deductive Repository

Sections

Personal tools

Log in
Join

You are here: Home → Files → Shankar's FM Outreach Presentation

Log in: Login Name

Password

Cookies are not enabled. You must enable cookies before you can log in.; Forgot your password?; New user?

Document Actions

Shankar's FM Outreach Presentation

Shankar's introduction to the Formal Methods Outreach Workshop, SRI June 2008.

Click here to get the file

Size 239.1 kB - File type application/pdf

by shankar — last modified 2008-06-09 23:26

What's up ?

Be notified when a document is published in this folder or below.

Powered by Plone, the Open Source Content Management System

This site conforms to the following standards: