Paper Info
Title
LCTD: Tests-Guided Proofs for C Programs on LLVM - (Competition Contribution).
Year
Venue
Field
2016
TACAS
Computer science,Theoretical computer science,Mathematical proof
DocType
Citations 
PageRank 
Conference
0
0.34
References 
Authors
0
2
Name
Order
Citations
PageRank
Olli Saarikivi1477.43
Keijo Heljanko275147.90