C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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