PARCOACH Extension for a Full-Interprocedural Collectives Verification - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Pierre Huchant, Emmanuelle Saillard, Denis Barthou, Hugo Brunie, Patrick Carribault. PARCOACH Extension for a Full-Interprocedural Collectives Verification. In 2nd IEEE/ACM International Workshop on Software Correctness for HPC Applications, CORRECTNESS@SC 2018, Dallas, TX, USA, November 12, 2018. pages 69-76, IEEE, 2018. [doi]

This author has not been identified. Look up 'Pierre Huchant' in GoogleThis author has not been identified. Look up 'Emmanuelle Saillard' in GoogleThis author has not been identified. Look up 'Denis Barthou' in GoogleThis author has not been identified. Look up 'Hugo Brunie' in GoogleThis author has not been identified. Look up 'Patrick Carribault' in Google

runs on WebDSL