DMCA

An incremental verification framework for component-based software systems

Cached

Download Links

by Kenneth Johnson , Radu Calinescu , Shinji Kikuchi
Venue:in CBSE’13, 2013
Citations:4 - 2 self