Login / Signup
The KeY tool.
Wolfgang Ahrendt
Thomas Baar
Bernhard Beckert
Richard Bubel
Martin Giese
Reiner Hähnle
Wolfram Menzel
Wojciech Mostowski
Andreas Roth
Steffen Schlager
Peter H. Schmitt
Published in:
Softw. Syst. Model. (2005)
Keyphrases
</>
feature selection
cooperative
data sets
databases
lower bound
user friendly