Scalable automated verification via expert-system guided transformations (0)

by H Mony, J Baumgartner, V Paruthi, R Kanzelman, A Kuehlmann
Venue:in Prof. Formal Methods in Computer Aided Design