|
|||||
|
|
Model Evolution with equality — Revised and implemented |
|
| Authors: | Peter Baumgartner Björn Pelzer Cesare Tinelli |
| Affiliation: | 1. NICTA and The Australian National University, Canberra, Australia;2. Institute for Computer Science, Universität Koblenz–Landau, Germany;3. Department of Computer Science, The University of Iowa, USA |
| Abstract: | |
| Keywords: | Automated theorem proving Instance-based methods |
| 本文献已被 ScienceDirect 等数据库收录！ | |
