Incremental Invariant Generation Using Logic-Based Automatic Abstract Transformers

Publication
NASA Formal Methods - Fifth International Symposium, NFM 2013, Moffett Field, CA USA, May 14-16, 2013. Proceedings

Related