Вы здесь

Главная

refinement calculus

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

Unifying Theories of Programming: Revised Selected Papers/ Second International Symposium, UTP 2008, Dublin,Ireland, September 2009