CISE3: Verifying Weakly Consistent Applications with Why3.

Filipe Meirim Mário Pereira Carla Ferreira

Published in: CoRR (2020)

Keyphrases

data sets
artificial intelligence
machine learning
data mining
information retrieval
pattern recognition
preprocessing