vix.ing · top · new · best · stats · spec

Nathan Collins

  1. A Verified Information-Flow Architecture
    2015/09/22 by Arthur Azevedo de Amorim, de Amorim, Arthur Azevedo, Nathan Collins +15 · 1 citation
    Computer Science · #FOS: Computer and information sciences #Programming Languages (cs.PL) #cs.PL