Вы здесь

Главная

isabelle

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

Relational and Algebraic Methods in Computer Science: Proc./13th International Conference, RAMiCS 2012, Cambridge, UK, September 2012