Formal Program Development by Transformation and Non-Functional Properties Evaluations. An Application to Numerical Programs.

Yamine At Ameur

Browse the full SEKE paper archive.