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

David Streader

  1. More Programming Than Programming: Teaching Formal Methods in a Software Engineering Programme
    2022/05/02 by James Noble, Noble, James, David Streader +5 · 2 citations
    Computer Science · #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Software Engineering (cs.SE) #Software Engineering Research #Software Engineering Techniques and Practices #Teaching and Learning Programming