Ammar Attoui, Abdelfettah Hasbani. Reactive Systems Developing by Formal Specification Transformations. In DEXA Workshop. pages 339-344, 1997.
@inproceedings{AttouiH97, title = {Reactive Systems Developing by Formal Specification Transformations}, author = {Ammar Attoui and Abdelfettah Hasbani}, year = {1997}, tags = {transformation system, transformation}, researchr = {https://researchr.org/publication/AttouiH97}, cites = {0}, citedby = {0}, pages = {339-344}, booktitle = {DEXA Workshop}, }