Search
 
   

2 results for "domain:oucsace.cs.ohiou.edu"

  1. 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
  2. 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