Séminaire Marelle : J.C. Filliatre: Queens on a Chessboard: an Exercise in Program Verification

On Friday 09/01/2009, at 10h30, in room Fermat Jaune.

Speaker: Laurent Théry.

Title: J.C. Filliatre: Queens on a Chessboard: an Exercise in Program Verification.

URL: http://why.lri.fr/queens/