Информация
Описание
Science or academic discipline: predicate transformer semantics.
Категория
Интерес
Видимост
Аудитория
Създадено на
11/07/2026
Създател
Walid Bergaoui