Construction, amélioration et vérification de programmes =
Proving and improving programs
Edición de la obra Construction, amélioration et vérification de programmes
Proving and improving programs
Edición de la obra Construction, amélioration et vérification de programmes
H888c