Presenter Full Schedule · Contributors · Organizations · Search Program · My Schedule · Happening NowMore…Search ProgramMy ScheduleHappening NowZhe TaoUniversity of California, DavisPresentationsWorkshopTowards Verifying Exact Conditions for Implementations of Density Functional ApproximationsDebugging and Correctness ToolsFault-Tolerance, Reliability, Maintainability, and AdaptabilitySoftware Engineering W
