1. 2
    From Verification to Implementation: A Model Translation Tool and Pacemaker Case Study (2012) formalmethods programming repository.upenn.edu
    nickpsecurity avatar via nickpsecurity 6 months ago | cached | no comments

  1.