Search
 
   

2 results for "domain:cas.mcmaster.ca"

  1. 6
    SMT-based Synthesis of Distributed, Self-Stabilizing Systems (2015) pdf ai distributed formalmethods programming cas.mcmaster.ca
    nickpsecurity avatar via nickpsecurity 12 months ago | cached | 1 comment
  2. 6
    HOPS: The Higher Object Programming System (<2002) ☶ compsci haskell cas.mcmaster.ca
    nil avatar via nil 1 year ago | cached | no comments