"Vérification de programmes C concurrents avec Cubicle : Enfoncer ..."

Sylvain Conchon et al. (2014)

Details and statistics

DOI:

access: unavailable

type: Conference or Workshop Paper

metadata version: 2014-11-28