Вы здесь

Главная

relational logic

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

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