SlidesLive
Categories
EN
Log in Get an estimate

Beyond the Elementary Representations of Program Invariants over Algebraic Data Types

Jun 1, 2021

Speakers

Organizer

Like the format? Trust SlidesLive to capture your next event!

Professional recording and live streaming, delivered globally.

Learn more

Recommended Videos

Presentations on similar topic, category or speaker

Interested in talks like this? Follow PLDI