Category: Janet Liu

From Design Contracts to Component Requirements Verification

Jing (Janet) Liu, Ph.D.
John D. Backes, Ph.D.
Darren D. Cofer, Ph.D.
Andrew J. Gacek, Ph.D.