C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
SeaHorn: A Framework for Verifying C Programs (Competition Contribution).
Arie Gurfinkel
Temesghen Kahsai
Jorge A. Navas
Published in:
TACAS (2015)
Keyphrases
</>
main contribution
database
framework enables
data mining
information systems
image segmentation
probabilistic model