Difference between revisions of "Video/Abstract Induction - Patrick Cousot"
Jump to navigation
Jump to search
(Created page with "{{cite book |first=Patrick |last=Cousot |author-link=Patrick Cousot |date=Oct 13, 2015 |title=Abstract Induction - Patrick Cousot |url=https://www.youtube.com/watch?v=lM9mRAeN-JY |location=local page |publisher=ETH WSCR }} <noinclude> {{#widget:YouTube |id=lM9mRAeN-JY }} A transcript of this is available here:[https://www.assemblyai.com/playground/transcript/r3qvs98vtx-7f5d-4a04-b946-33d5fc99d475 Assembly AI], see a...") |
|||
| Line 20: | Line 20: | ||
{{PagePostfix | {{PagePostfix | ||
|category_csd=Abstract Interpretation,Abstract Induction | |category_csd=Abstract Interpretation,Abstract Induction | ||
| | |semantic_labels=Organized by:[[Organized by::ETH WSCR]] Presented by:[[Presented by::Patrick Cousot]] | ||
}} | }} | ||
</noinclude> | </noinclude> | ||
Latest revision as of 18:56, 7 May 2023
Cousot, Patrick (Oct 13, 2015). Abstract Induction - Patrick Cousot. local page: ETH WSCR.
A transcript of this is available here:Assembly AI, see a local copy of the text:Transcript/Abstract Induction - Patrick Cousot
References
Related Pages
Organized by:ETH WSCR Presented by:Patrick Cousot