Uninterpreted function: Difference between revisions

Content deleted Content added
Example: related example deduction to informal C explanation
References: onw section "Notes"
Line 32:
==References==
{{Reflist}}
==Notes==
{{reflist|group=note}}
[[Category:Specification languages]]