A Fully Verified Container Library.

Nadia Polikarpova Julian Tschannen Carlo A. Furia

Published in: FM (2015)

Keyphrases

search engine
multi agent
computer vision
image segmentation
database systems
data analysis
expert systems
pairwise
public libraries