Equipe-projet OLAS Fondements opérationnels, logiques et algébriques des systèmes logiciels Le logiciel transforme de plus en plus notre vie quotidienne. Mais les applications deviennent aussi...
