Steps Toward Addressing (Hoare's) Verification Grand Challenge --- March 22-23, 2006
Resolve 2006
| Author kit available |
|
|
|
| Tuesday, 21 February 2006 | |
|
The author guide for position papers is now available. The template provided is the old template from Resolve 2002, but it will do as an example. |