Login / Signup
On Using VeriFast, VerCors, Plural, and KeY to Check Object Usage (Experience Paper).
João Mota
Marco Giunti
António Ravara
Published in:
ECOOP (2023)
Keyphrases
</>
complex objects
d objects
object identification
deformable objects
multiple objects
multiscale
information retrieval
object tracking
object level
object classes
object position
bounding box
target object
object categories
data objects
mean shift
object recognition