Cite
HARVARD Citation
Mammar, A. et al. (2022). An Event-B-Based Approach to Model and Verify Behaviors for Component-Based Applications. Computer journal. pp. 2780-2800. [Online].
This is an interim version of our Electronic Legal Deposit Catalogue-eJournals and eBooks while we continue to recover from a cyber-attack.
Mammar, A. et al. (2022). An Event-B-Based Approach to Model and Verify Behaviors for Component-Based Applications. Computer journal. pp. 2780-2800. [Online].