Personal tools
You are here: Home
Navigation
Log in


Forgot your password?
New user?
 

shankar

QPQ (QED Pro Quo) is a repository for formal content in electronic form, including systems, software, libraries, benchmarks, tutorials, and technical reports.

Author's home page in this site…

Latest content created by this user

Page
VSTTE '08 Conference Program 2008-08-26
VSTTE'08 2008-08-26
Guidelines 2006-12-07
The QPQ Manifesto 2006-12-06
Event
Verified Software Roadmap Mini-Workshop 2006 2006-03-18
File
The Verified Software Initiative 2008-06-23
Pat Lincoln's FM Outreach presentation 2008-06-22
Bob Constable's FM Outreach 2008 presentation 2008-06-09
Tom Ball's FM Outreach 2008 presentation 2008-06-09
Shankar's FM Outreach Presentation 2008-06-09
Folder
Files 2008-06-09
Pilot Projects 2006-03-30
Verified Software Roadmap 2006 2006-03-16
Repository 2006-02-02
Wiki 2006-01-17
Image
FM Outreach Workshop Dinner Image 4 2008-06-09
FM Outreach Workshop Dinner Image 3 2008-06-09
FM Outreach Workshop Dinner Image 2 2008-06-09
FM Outreach Workshop Dinner Image 1 2008-06-09
FM Outreach Workshop Dinner Photograph 2008-06-09
Link
The Halfs File System 2006-04-12
Poll
[···] 2006-04-03
[···] 2006-03-31
Plone SVNaccess
Zope 2007-01-31
PVS 2007-01-31
Smart Folder
SmartVSR 2007-03-07
Specification Languages 2005-11-29
Wiki Page
Technical Background 2006-07-03
Highlights of Forty Five Years of Verification 2006-03-30
System Certification 2006-03-29
detailed text formatting rules 2006-03-27
All content created by shankar…
« November 2009 »
Su Mo Tu We Th Fr Sa
1 2 3 4 5 6 7
8 9 10 11 12 13 14
15 16 17 18 19 20 21
22 23 24 25 26 27 28
29 30
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: