Vérification de programmes C concurrents avec Cubicle : Enfoncer les barrières.

Sylvain Conchon David Declerck Luc Maranget Alain Mebsout

Published in: JFLA (2014)

Keyphrases

higher education
technology enhanced
cooperative
lifelong learning
machine learning
reinforcement learning
low cost
recent advances
corporate training