Вы здесь

Главная

принудительное решение

Связанные издания:

Computer Aided Verification, Part I: Proc./28th International Conference, CAV 2016, Toronto,ON,Canada, July 2016
Computer Science - Theory and Applications: Proc./11th International Computer Science Symposium in Russia, CSR 2016, St.Petersburg, Russia, June 2016
Constraint Solving and Language Processing: Revised Selected Papers/7th International Workshop, CSLP 2012, Orleans, France, September 2012
Logic and Its Applications: Proc./5th Indian Conference, ICLA 2013, Chennai, India, January 2013
Runtime Verification: Proc./5th International Conference, RV 2014, Toronto,ON,Canada, September 2014
Tests and Proofs: Proc./7th International Conference, TAP 2013, Budapest, Hungary, June 2013