Kristals : connaissance vérifiable et artefacts sémantiques

  • Concepts spécialisés du programme et modèles d’analyse.