Journal of Logical and Algebraic Methods in Programming

Tutkimustuotokset

  1. 2016
  2. Julkaistu

    LCTD: Test-guided proofs for C programs on LLVM

    Saarikivi, O. & Heljanko, K., 1 lokakuuta 2016, julkaisussa : Journal of Logical and Algebraic Methods in Programming. 85, 6, s. 1292-1317 26 Sivumäärä

    Tutkimustuotos: Lehtiartikkeli

ID: 14302339