Yamine Aït Ameur
Formal Program Development by Transformation and Non-Functional Properties Evaluations. An Application to Numerical Programs
SEKE, 1993.
@inproceedings{SEKE-1993-Ameur, author = "Yamine Aït Ameur", booktitle = "{Proceedings of the Fifth International Conference on Software Engineering and Knowledge Engineering}", pages = "703--710", publisher = "{Knowledge Systems Institute}", title = "{Formal Program Development by Transformation and Non-Functional Properties Evaluations. An Application to Numerical Programs}", year = 1993, }