Search
 
   

2 results for "domain:risc.jku.at"

  1. 1
    Formal Specification and Verification of Computer Algebra Software (2014) ☶ pdf formalmethods math programming risc.jku.at
    nickpsecurity avatar via nickpsecurity 4 months ago | cached | no comments
  2. 1
    Teaching Formal Methods via Automatic Checking of Finite Models (2017) ☶ pdf education formalmethods risc.jku.at
    nickpsecurity avatar via nickpsecurity 4 months ago | cached | no comments