Close search
Hoa

CSTVA'13

Written the .

Hoa souhaite être un pont entre le monde de la recherche et de l'industrie. Plusieurs bibliothèques de Hoa sont nées de travaux de recherche au sein des laboratoires de l'INRIA et du DISC/Femto-ST, comme Hoa\Realdom, Hoa\Praspel ou encore Hoa\Compiler.

Durant la semaine du au Luxembourg, les derniers travaux sur Hoa\Realdom et Hoa\Praspel seront présentés à CSTVA (Constraints in Software Testing Verification and Analysis), un workshop d'ICST (International Conference on Software Testing, Verification and Validation). L'article présenté s'appelle A Constraint Solver for PHP Arrays.

Vous retrouvez toutes les informations et ressources (dont l'article et la présentation) sur la page des événements de Hoa à la fin de la conférence.

Comments

menu