Follow
Adrian Gallus
Adrian Gallus
Unknown affiliation
Verified email at rwth-aachen.de
Title
Cited by
Cited by
Year
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
The system can't perform the operation now. Try again later.