Learning to Verify Safety Properties, in (2004)

by A Vardhan, K Sen, M Viswanathan, G Agha
Venue:Proc. of ICFEM’04