Jérôme Boillot and Jérôme Feret.
Symbolic transformation of expressions in modular arithmetic.
In
Proceedings of the Thirtieth Static Analysis Symposium, SAS'23.
Cascais, Portugal, M. Hermenegildo and J. Morales (Eds), To appear in Lecture Notes in Computer Science.
© Springer, Berlin, Germany.
Abstract: