Authors: BJORNER N BROWNE A MANNA Z

Citation: N. Bjorner et al., AUTOMATIC-GENERATION OF INVARIANTS AND INTERMEDIATE ASSERTIONS, Theoretical computer science, 173(1), 1997, pp. 49-87