Вы здесь

Главная

механизация

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

Certified Programs and Proofs: Proc./2nd International Conference, CPP 2012, Kyoto, Japan, December 2012