Steps Toward Addressing (Hoare's) Verification Grand Challenge --- March 22-23, 2006
Resolve 2006
| Web site created |
|
|
|
| Tuesday, 07 February 2006 | |
| The new web site was created. |