Вы здесь

Главная

query checking

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

Hardware and Software: Verification and Testing: Revised Selected Papers/6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 2010