Jose Meseguer

Digital Library

ACM Fellows

USA - 2020

citation

For the development of logical methods for design and verification of computational systems

Press Release