Fondements opérationnels, logiques et algébriques des systèmes logiciels

OLAS · Unité propre · Sophia Antipolis · Provence-Alpes-Côte d'Azur

Tutelles : Institut national de la recherche en informatique et automatique

Disciplines : informatique, ingenierie

Site du laboratoire →

📚 90 publications sur HAL open science →

Source : MESRI ScanR / HAL (Etalab 2.0) · Données HAL (CC0)