Inferring specifications to detect errors in code (2004)

Cached

Download Links

by Mana Taghdiri , Daniel Jackson , Computer Science , Ai Lab
Venue:In ASE’04
Citations:25 - 2 self