SPASS Version 3.5

By Christoph Weidenbach, D. Dimova, Arnaud Fietzke, Rohit Kumar, M. Suda, P. Wischnewski. CADE, 2009

319 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Computer Networks and Communications

View Paper: https://www.semanticscholar.org/paper/302004c760c9e916d26a6b0b089bdcada13edabd

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Artificial Intelligence

1. Gunter Saake
2. Christian Kästner
3. Sven Apel
4. Thomas Thüm
5. Ina Schaefer
6. Lionel Claude Briand
7. Andrea Arcuri

In Computer Networks and Communications

1. Christian Kästner
2. Sven Apel

Citations in the corpus

• A Classification and Survey of Analysis Strategies for Software Product Lines (2014, methodology): “Instead, automated theorem provers, such as PROVER9,2 SPASS [Weidenbach et al. 2009], and SIMPLIFY [Detlefs et al. 2005], try to evaluate the validity of theorems without further assistance by the user.”