leads the P4-Based Automated Reasoning group#

1 picked talk across 1 digest with a speaker from leads the P4-Based Automated Reasoning group, newest first.

ONE Summit 2024#

• P4-Based Automated Reasoning - Steffen Smolka, Google · Core — Steffen Smolka, Staff Software Engineer, Google (leads the P4-Based Automated Reasoning group)