The VerCors Verifier: A Progress Report.

Lukas Armborst Pieter Bos Lars B. van den Haak Marieke Huisman Robert Rubbens Ömer Sakar Philip Tasche

Published in: CAV (2) (2024)

Keyphrases

designated verifier
multiresolution
digital images
multimedia
multi class
data management
mobile phone