Software Verification
Maria Christakis, Nadia Polikarpova, Parasara Sridhar Duggirala, Peter Schrammel
Software Verification - Springer Springer 2020
9783030636180
EBOOK
Software Verification - Springer Springer 2020
9783030636180
EBOOK
