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.
Jan 09 2009
Séminaire Marelle : J.C. Filliatre: Queens on a Chessboard: an Exercise in Program Verification
