Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
Kostyukov, Yurii
Mordvinov, Dmitry
and
Fedyukovich, Grigory
2021.
Beyond the elementary representations of program invariants over algebraic data types.
p.
451.