Search
 
   

1 result for "domain:repositorio.inesctec.pt"

  1. 8
    Formal Verification With Frama-C: A Case Study in the Space Software Domain (2015) ☶ pdf c formalmethods repositorio.inesctec.pt
    nickpsecurity avatar via nickpsecurity 4 months ago | cached | no comments