1. 4
    A Scalable, Formal Method for Design and Automatic Checking of User Interfaces (2001) pdf formalmethods programming home.deib.polimi.it
    nickpsecurity avatar via nickpsecurity 7 months ago | cached | no comments

  1.