Вы здесь

Главная

semi-formal verification

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

Hardware and Software: Verification and Testing: Proc./13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 2017