Dataset - CKAN

Interprétation abstraite pour la précision numérique

L'interprétation abstraite est une théorie décrivant comment calculer automatiquement des propriétés sur des programmes. Elle est notamment utilisée pour prouver...
- HTML

You can also access this registry using the API (see API Docs).