Home

Coq Workshop 2011

Submitted by herbelin on 25 Apr 2011 17:53 GMT

The Coq Workshop 2011 will be held on August 26 at Nijmegen, as part of ITP 2011.