Specifying and Verifying Persistent Libraries.

Léo Stefanesco Azalea Raad Viktor Vafeiadis

Published in: CoRR (2023)

Keyphrases

digital libraries
multimedia
model checking
decision making
high level
data mining
artificial intelligence
e learning
website
three dimensional
feature space