Reasoning About JML: Differences Between KeY and OpenJML.

Jan Boerman Marieke Huisman Sebastiaan J. C. Joosten

Published in: IFM (2018)

Keyphrases

preprocessing
feature extraction
statistically significant
decision making
image processing
social networks
information systems
case study
wide range
object recognition
digital libraries
qualitative reasoning
individual differences
formal theory