A Fully Verified Persistency Library.

Stefan Bodenmüller John Derrick Brijesh Dongol Gerhard Schellhorn Heike Wehrheim

Published in: VMCAI (2) (2024)

Keyphrases

database
information systems
data mining
social networks
image processing
cooperative
pattern recognition
user interface
programming language