Docs des Services Numériques
Accès au "Réseau WiFi
Les Salles OSR
Serveur d'applications
Tutos UFR pour la Pédagogie
Les ressources info
Sidebar
certification_du_logiciel
This is an old revision of the document!
- Nous avons besoin de coq et coqide en J3 et sur turing. Attention vérifier que les raccourcis de navigation par défaut ne sont pas en conflit avec X ou avec Windows.
- Nous avons aussi besoin sur turing de:
- frama-c
- why
- alt-ergo
certification_du_logiciel.1287138012.txt.gz · Last modified: 2019/03/11 15:09 (external edit)
Except where otherwise noted, content on this wiki is licensed under the following license: CC Attribution-Noncommercial-Share Alike 4.0 International
