Digital Library
Close Browse articles from a journal
 
<< previous    next >>
     Journal description
       All volumes of the corresponding journal
         All issues of the corresponding volume
           All articles of the corresponding issues
                                       Details for article 18 of 128 found articles
 
 
  CaLLi: OCaml library for static analysis of LLVM bitcode
 
 
Title: CaLLi: OCaml library for static analysis of LLVM bitcode
Author: Baek, Soyeon
Lee, Sungho
Appeared in: Softwarex
Paging: Volume 27 () nr. C pages p.
Year: 2024
Contents:
Publisher: The Author(s)
Source file: Elektronische Wetenschappelijke Tijdschriften
 
 

                             Details for article 18 of 128 found articles
 
<< previous    next >>
 
 Koninklijke Bibliotheek - National Library of the Netherlands