PARCOACH Extension for a Full-Interprocedural Collectives Verification.

Pierre Huchant, Emmanuelle Saillard, Denis Barthou, Hugo Brunie, Patrick Carribault

Browse the full SC paper archive.