Search
 
   

1 result for "domain:krin.gs"

  1. 2
    plspec – A Specification Language for Prolog Data (2017) ☶ pdf formalmethods programming krin.gs
    nickpsecurity avatar via nickpsecurity 5 months ago | cached | 2 comments