Steps Toward Addressing (Hoare's) Verification Grand Challenge --- March 22-23, 2006
Resolve 2006
| Resolve 2002 proceedings available |
|
|
|
| Wednesday, 08 February 2006 | |
|
The full proceedings of the Resolve Workshop 2002 are available on-line via the Resolve 2002 web site. |