Title Behavioral Metadata: Accept Section 5
Description 
Accept Section 5 -- Deriving Preconditions, Postconditions, and Projection Conditions.
Ballot Options Ballot has closed
[ ] Yes
[ ] No
Opening Date Tue, Jul 3 2007 1:00 pm EDT
Closing Date Fri, Jul 6 2007 1:00 pm EDT
Ballot has closed.

Referenced Items

Name Type Date Actions