DMCA

Learning to Verify Safety Properties (2004)

Cached

Download Links

by Abhay Vardhan , Koushik Sen , Mahesh Viswanathan , Gul Agha
Venue:In LNCS 3308, Proc. of ICFEM’04
Citations:12 - 4 self