Computer Aided Verification: 34th International Conference, CAV 2022, Haifa, Isr
58,27 €
The 40 full papers presented together with 9 tool papers and 2 case studies were carefully reviewed and selected from 209 submissions. Part II: Probabilistic techniques; automata and logic; deductive verification and decision procedures; machine learning; synthesis and concurrency.
Jetzt bei Ebay:
