CConstruction, amélioration et vérification de programmesConstruction, amélioration et vérification de programmesde G. Huet, G. KahnMateriasReliabilityTestingCongressesVerificationComputer programsEdiciones (1)Construction, amélioration et vérification de programmes = (1975)I.R.I.A. · inglésMás obras de G. Huet