Cesare A. Galtieri is an author at IBM (United States) specializing in formal verification, parallel programming, and file systems.
Top concepts
EngineeringFile SystemsFormal MethodsData ManagementSystem SoftwareParallel ComputingDistributed SystemsFormal VerificationData SynchronizationDatabase Consistency
Publications per year
1982–1982
1
1
Rows per page
1–1 of 1