Open AccessVérification de programmes C concurrents avec Cubicle : Enfoncer les barrières
Author(s) -
Sylvain Conchon,
David Declerck,
Luc Maranget,
Alain Mebsout
Publication year - 2014
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - French
Resource type - Conference proceedings
Subject(s) - humanities , philosophy , art