C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Borrowable Fractional Ownership Types for Verification.
Takashi Nakayama
Yusuke Matsushita
Ken Sakayori
Ryosuke Sato
Naoki Kobayashi
Published in:
CoRR (2023)
Keyphrases
</>
expert systems
database
real world
data mining
machine learning
learning algorithm
information systems
image processing
formal verification