search

acsl-language / acsl

Sources for the ANSI/ISO C Specification Language manual
Other
49 stars 8 forks source link

Remove the Frama-C Guy #98

Closed AllanBlanchard closed 3 months ago