A survey of verification techniques for parallel programsde Howard BarringerMateriasParallel processing (Electronic computers)VerificationComputer programsParallelisme (Informatique)Parallel programs (Computer programs)ProgrammverifikationLogicielsProgrammierungParallelverarbeitungVerifikation
