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

Désolé, cet article est seulement disponible en Anglais Américain.