Abstract Induction

From PKC

Revision as of 14:20, 15 January 2023 by Benkoo2 (talk | contribs) (Created page with "This is a field also created by Patrick Cousot and is derived from Abstract Interpretation. <noinclude> {{PagePostfix |category_csd=Abstract Interpretation,Abstract Induction }} </noinclude>")

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Jump to navigation Jump to search

This is a field also created by Patrick Cousot and is derived from Abstract Interpretation.

References

Related Pages

Retrieved from "https://pkc.pub/index.php?title=Abstract_Induction&oldid=37786"