Leu, EricSchiper, André2006-07-272006-07-272006-07-271991https://infoscience.epfl.ch/handle/20.500.14299/232731Techniques de déverminage pour programmes parallèlestext::journal::journal article::research article