Software Verification

Maria Christakis, Nadia Polikarpova, Parasara Sridhar Duggirala, Peter Schrammel

Software Verification - Springer Springer 2020

9783030636180

EBOOK