Вы здесь

Главная

gnv

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

All About Maunde - A High-Performance Logical Framework: How to Specify, Program and Verify Systems in Rewriting Logic