Formal Approach to Derivation of Concurrent Implementations in Software Product Lines
Publisher
Chapman and Hall/CRC
Reference1 articles.
1. [1] I. Assayad, V. Bertin, F. Defaut, Ph. Gerner, O. Que´vreux, and S. Yovine. J AHUEL: A formal framework for software synthesis. In 7th International Conference on Formal Engineering Methods, (ICFEM 2005), Manchester, U. K., November 1–4, 2005. Lecture Notes in Computer Science 3785, Springer 204–218. Page 399 Formal