Search
 
   

3 results for "domain:di.unipi.it"

  1. 3
    The Abstract State Machines Method for Modular Design and Analysis of Programming Languages (2013) ☶ pdf formalmethods java plt programming pages.di.unipi.it
    nickpsecurity avatar via nickpsecurity 2 months ago | cached | no comments
  2. 8
    Abstract State Machines Method for High-level System Design and Analysis (2007) pdf compsci programming di.unipi.it
    nickpsecurity avatar via nickpsecurity 1 year ago | cached | 3 comments
  3. 18
    The Plan-9 Effect or why you should not fix it if it ain't broken unix di.unipi.it
    pushcx avatar via pushcx 2 years ago | cached | 4 comments