user_15282931
user_15282931
@user_15282931
0 reputation
0 answers
2 questions
About Me
// Hello, World !
Top Answers
Top Questions
  1. Frama-c WP and preconditions
    3 votes
    1 answers
  2. Function call in a "if" clause to ACSL
    2 votes
    1 answers