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

Luke Church

  1. Towards making formal methods normal: meeting developers where they are
    2020/10/30 by Alastair Reid, Reid, Alastair, Luke Church +10 · 2 voices · 1 citation
    Computer Science · #Advanced Malware Detection Techniques #Security and Verification in Computing #Software Testing and Debugging Techniques #cs.LO #cs.SE