Modularity in Design: Formal Modeling and Automated Analysis (2006)

by Yuanfang Cai , Kevin J. Sullivan
Citations:25 - 18 self