Milestone 7-8 Revision History
Date
Revision
5nov11
Initial posting.
20nov11
Clarified that remaining work on formal JML specifications will be completed for Milestone 10, not Milestone 8.