Search
 
   

3 results for "domain:ou.edu"

  1. 3
    Translating Clojure to ACL2 Code for Verification (2016) ☶ pdf clojure formalmethods ou.edu
    nickpsecurity avatar via nickpsecurity 2 months ago | cached | no comments
  2. 4
    Ziria - A Wireless DSL for Systems Programming ☶ pdf networking programming oucsace.cs.ohiou.edu
    nickpsecurity avatar via nickpsecurity 8 months ago | cached | no comments
  3. 6
    VeriStar - Efficient, verified prover for separation logic (2012) ☶ pdf formalmethods programming oucsace.cs.ohiou.edu
    nickpsecurity avatar via nickpsecurity 1 year ago | cached | no comments