Вы здесь

Главная

мультисреда

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

Computer Aided Verification: Proc./24th International Conference, CAV 2012, Berkeley,CA,USA, July 2012
The Evolution of DVL System Software