Software Verification - Maria Christakis; Nadia Polikarpova; Parasara Sridhar Duggirala (springer, 2020)
Keywords: Computer Science; Computer Science Logic and Foundations of Programming