Computer Aided Verification

Computer Aided Verification

29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II

de Rupak Majumdar
5/5
Prima publicare
Jul 13, 2017
Editori
Springer

Carti

Carti asemanatoare