Organization Full Program · Contributors · Organizations · Search Program · Flagged · Happening NowMore…Search ProgramFlaggedHappening NowUniversity of VirginiaContributorsMatthew BoltonAustin CampbellSergio DarqueaIsabella HollomanOlivia Claire KingGabriel LawrenceNeha PavuluruPresentationsPoster PresentationPS3 - Clean Hands, Clear Outcomes: A Formal Methods Analysis of Anesthesiology Induction HygieneDigital Health (DH)Simulation and Education (SE)Hospital Environments (HE)Medical and Drug Delivery Devices (MDD)Patient Safety and Research Initiatives (PS)