Journal of Logical and Algebraic Methods in Programming

Research outputs

  1. 2016
  2. Published

    LCTD: Test-guided proofs for C programs on LLVM

    Saarikivi, O. & Heljanko, K., 1 Oct 2016, In : Journal of Logical and Algebraic Methods in Programming. 85, 6, p. 1292-1317 26 p.

    Research output: Contribution to journalArticleScientificpeer-review

ID: 14302339