Scott Smolka

Digital Library

ACM Fellows

USA - 2021

citation

For contributions in process algebra, model checking, and runtime verification

Press Release