Density Functional Theory Study of Pt3M Alloy Surface Segregation with Adsorbed O/OH and Pt3Os as Catalysts for Oxygen Reduction Reaction | Synapse