DMCA

Instantiation-based invariant discovery (2011)

Cached

Download Links

by Temesghen Kahsai , Yeting Ge , Cesare Tinelli
Venue:In NFM, volume 6617 of LNCS
Citations:11 - 4 self