Automatic Generation of Invariants and Intermediate Assertions (1995)

Cached

Download Links

by Nikolaj Bjørner , Anca Browne , Zohar Manna
Citations:48 - 3 self