Vérification de programmes C concurrents avec Cubicle : Enfoncer les barrières - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Sylvain Conchon, David Declerck, Luc Maranget, Alain Mebsout. Vérification de programmes C concurrents avec Cubicle : Enfoncer les barrières. In Christine Tasson, David Baelde, editors, 25. Journées francophones des langages applicatifs, Fréjus, France, January 8-11, 2014. pages 17-32, 2014.

This author has not been identified. Look up 'Sylvain Conchon' in GoogleThis author has not been identified. Look up 'David Declerck' in GoogleThis author has not been identified. It may be one of the following persons:

Luc Maranget

Look up 'Luc Maranget' in GoogleThis author has not been identified. Look up 'Alain Mebsout' in Google

runs on WebDSL