Search
 
   

3 results for "domain:ceur-ws.org"

  1. 4
    Bidirectional Certified Programming (2017) ☶ pdf formalmethods ml ceur-ws.org
    nickpsecurity avatar via nickpsecurity 3 months ago | cached | no comments
  2. 3
    Foundations of Semantics and Model Checking in a Software Engineering Course (2015) pdf compsci formalmethods programming ceur-ws.org
    nickpsecurity avatar via nickpsecurity 1 year ago | cached | 1 comment
  3. 7
    Prolog-based reasoning layer for counter-strike agents (2012) pdf games programming ceur-ws.org
    nickpsecurity avatar via nickpsecurity 1 year ago | cached | no comments