Virgile est un utilisateur de Stack Exchange, si vous cliquez sur le lien, vous verrez son profil.
Dernières questions
-
Je n'ai encore rien demandé.
Dernières réponses
- 4 votes
Compréhension des étiquettes logiques de Frama-C
el 4 de Septembre, 2013 4 votes - 3 votes
Comment puis-je déboguer ACSL dans frama-c?
el 20 de Juillet, 2017 3 votes - 13 votes
Appel de `command -v find` à partir de GNU Makefile
el 20 de Octobre, 2012 13 votes