Search
 
   

4 results for "domain:ru.nl"

  1. 3
    A Toolchain for Verified, Ocaml Programs ☶ pdf formalmethods ml cs.ru.nl
    nickpsecurity avatar via nickpsecurity 5 months ago | cached | no comments
  2. 4
    Verification of Goroutines Using Why3 (2016) pdf formalmethods go ru.nl
    nickpsecurity avatar via nickpsecurity 6 months ago | cached | no comments
  3. 12
    Clean – A functional programming language programming clean.cs.ru.nl
    av avatar via av 8 months ago | cached | 8 comments
  4. 4
    Formalizing 100 Theorems compsci math cs.ru.nl
    omphalos avatar via omphalos 2 years ago | cached | no comments