Вы здесь

Главная

правило вывода

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

Frontiers of Combining Systems: Proc./7th International Symposium, FroCoS 2009, Trento, Italy, September 2009
Towards Automatic Verification of C-Light Programs. Mixed Axiomatic Semantics of C-Kernel Language
Transactions on Rough Sets XI