Alexandru F. Iosif-Lazar, Andrzej Wasowski. Trustworthy variant derivation with translation validation for safety critical product lines. Journal of Logic and Algebraic Programming, 85(6):1154-1176, 2016. [doi]
@article{Iosif-LazarW16, title = {Trustworthy variant derivation with translation validation for safety critical product lines}, author = {Alexandru F. Iosif-Lazar and Andrzej Wasowski}, year = {2016}, doi = {10.1016/j.jlamp.2016.02.001}, url = {http://dx.doi.org/10.1016/j.jlamp.2016.02.001}, researchr = {https://researchr.org/publication/Iosif-LazarW16}, cites = {0}, citedby = {0}, journal = {Journal of Logic and Algebraic Programming}, volume = {85}, number = {6}, pages = {1154-1176}, }