Cormac Flanagan

Digital Library

ACM Fellows

USA - 2020

citation

For contributions to static and dynamic program debugging and verification methods

Press Release

ACM Senior Member

USA - 2013