Test-guided proofs for C programs on LLVM (2013)

AUTHORS:
Saarikivi Olli

@mastersthesis{
    saarikivio,
    author = "Saarikivi, Olli",
    owner = "MN",
    school = "Aalto University",
    year = "2013",
    address = "Espoo, Finland",
    title = "Test-guided proofs for C programs on LLVM"
}