Zhu, C., Butler, M., & Cirstea, C. (2019). Towards Refinement Semantics of Real-Time Trigger-Response Properties in Event-B. 2019 International Symposium on Theoretical Aspects of Software Engineering (TASE), Theoretical Aspects of Software Engineering (TASE), 2019 International Symposium on, 1. https://doi.org/10.1109/TASE.2019.00-26
Παραπομπή σε μορφή Chicago (17η εκδ.)Zhu, C., M. Butler, και C. Cirstea. "Towards Refinement Semantics of Real-Time Trigger-Response Properties in Event-B." 2019 International Symposium on Theoretical Aspects of Software Engineering (TASE), Theoretical Aspects of Software Engineering (TASE), 2019 International Symposium on 2019: 1. https://doi.org/10.1109/TASE.2019.00-26.
Παραπομπή σε μορφή MLA (9th εκδ.)Zhu, C., et al. "Towards Refinement Semantics of Real-Time Trigger-Response Properties in Event-B." 2019 International Symposium on Theoretical Aspects of Software Engineering (TASE), Theoretical Aspects of Software Engineering (TASE), 2019 International Symposium on, 2019, p. 1, https://doi.org/10.1109/TASE.2019.00-26.