Analysis
Proceedings Paper
Ferras,LL;Ford,NJ;Morgado,ML;Rebelo,M;McKinley,GH;Nobrega,JM
SYMCOMP 2017 – 3rd International Conference on Numerical and Symbolic Computation: Developments and Applications, Proceedings
3rd International Conference on Numerical and Symbolic Computation: Developments and Applications, SYMCOMP 2017
2017
406-421