Software Verification
de Maria Christakis, Nadia Polikarpova, Parasara Sridhar Duggirala, Peter Schrammel
Ediciones (1)
- Software Verification (2020)
Springer International Publishing AG · inglés · ISBN 9783030636173
de Maria Christakis, Nadia Polikarpova, Parasara Sridhar Duggirala, Peter Schrammel
Springer International Publishing AG · inglés · ISBN 9783030636173