Revision as of 13:45, 31 August 2020 edit Anthrópinos81638 (talk \| contribs) Extended confirmed users 793 edits m Replaces obsolete tag ← Previous edit		Revision as of 15:37, 18 October 2024 edit undo Naruyoko (talk \| contribs) Extended confirmed users 613 edits →Notes: Rename section to "References" Tag: Visual edit Next edit →
Line 8: * [[Eiffel (programming language)]] == ~~Notes~~References == <references/>

Invariant-based programming: Difference between revisions