DMCA

An iterative algorithm for synthesizing invariants

by Jussi Rintanen
Venue:In Proc. 17th National Conference on Artificial Intelligence (AAAI’00), 806
Citations:48 - 2 self