61230

Computer Aided Verification: 30th International Conference, CAV 2018 Held as Part of the Federated Logic Conference, FloC 2018 Oxford, UK, July 14–17, 2018 Proceedings, Part II

Switzerland Springer

2018

553

9783319961422

انگليسي

Computer Aided Verification