Подписаться
Adrian Gallus
Adrian Gallus
Неизвестная организация
Подтвержден адрес электронной почты в домене rwth-aachen.de
Название
Процитировано
Процитировано
Год
Weighted programming: a programming paradigm for specifying mathematical models
K Batz, A Gallus, BL Kaminski, JP Katoen, T Winkler
Proceedings of the ACM on Programming Languages 6 (OOPSLA1), 1-30, 2022
132022
В данный момент система не может выполнить эту операцию. Повторите попытку позднее.