Combinations of model checking and theorem proving (2000)

Cached

Download Links

by Tomás E. Uribe
Venue:Proceedings of the Third Intl. Workshop on Frontiers of Combining Systems, volume 1794 of LNCS
Citations:11 - 0 self