Login / Signup

Specifying and Verifying Persistent Libraries.

Léo StefanescoAzalea RaadViktor Vafeiadis
Published in: ESOP (2) (2024)
Keyphrases
  • digital libraries
  • multimedia
  • real time
  • social networks
  • data analysis
  • long term
  • model checking