Presenter Full Program · Contributors · Organizations · Search Program · Flagged · Happening NowMore…Search ProgramFlaggedHappening NowYunqi HeNorthwestern UniversityPresentationsResearch ManuscriptRE3: Finding Refinement Relations with Relational Mapping Abstraction4:45pm - 5:00pm PDT Wednesday, June 25 3004, Level 3EDAEDA2: Design Verification and Validation
