Cite
APA Citation
Kezadri Hamiaz, M., Pantel, M., Thirioux, X., & Combemale, B. (2016). correct-by-construction model driven engineering composition operators. Formal aspects of computing, 28, 409–440. http://access.bl.uk/ark:/81055/vdc_100080455020.0x000177