C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
From post-conditions to post-region invariants: deductive verification of hybrid objects.
Eduard Kamburjan
Published in:
HSCC (2021)
Keyphrases
</>
sufficient conditions
image regions
data objects
object level
object oriented
object recognition
d objects
face verification