References - Githubissues

acsl-language / acsl

Sources for the ANSI/ISO C Specification Language manual

Other

49 stars 8 forks source link

References #7

Open vprevosto opened 7 years ago

vprevosto commented 7 years ago

Give a reference on generalized inductive invariants
refer to ML's sum types for concrete logic types.