Search
 
   

2 results for "domain:staff.aist.go.jp"

  1. 3
    Safe, Low-Level, Code Generation in Coq Using Monomorphization and Monadification ☶ pdf slides c formalmethods staff.aist.go.jp
    nickpsecurity avatar via nickpsecurity 6 months ago | cached | no comments
  2. 14
    Fail-Safe C: Memory-Safe Implementation of Full, ANSI C (2009) c security staff.aist.go.jp
    nickpsecurity avatar via nickpsecurity 6 months ago | cached | 2 comments