Вы здесь

Главная

детализация

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

Recent Trends in Algebraic Development Techniques: Revised Selected Papers/24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2018
Об устойчивости поведенческих эквивалентностей временных стабильных структур событий при детализации действий