DMCA

Deciding Equality Formulas by Small Domains Instantiations (1999)

Cached

Download Links

by Amir Pnueli , Yoav Rodeh , Ofer Shtrichman , Michael Siegel
Venue:Computer-Aided Verification
Citations:55 - 8 self