Search
 
   

2 results for "domain:lirias.kuleuven.be"

  1. 1
    Modular Semi-automatic Formal Verification of Critical Systems Software (2017) ☶ pdf c formalmethods linux lirias.kuleuven.be
    nickpsecurity avatar via nickpsecurity 6 months ago | cached | 1 comment
  2. 4
    CCHR: The Fastest CHR Implementation, in C (2007) c compilers compsci lirias.kuleuven.be
    nickpsecurity avatar via nickpsecurity 6 months ago | cached | 3 comments