Arwa Hameed Alsubhi

Research title: Interoperability of Typestate-based Tools

Publications

List by: Type | Date

Jump to: 2024
Number of items: 1.

2024

Alsubhi, Arwa Hameed and Dardha, Ornela ORCID logoORCID: https://orcid.org/0000-0001-9927-7875 (2024) Coconut: Typestates for Embedded Systems. In: 26th International Conference on Coordination Models and Languages (COORDINATION 2024), Groningen, The Netherlands, 17-21 June 2024, (Accepted for Publication)

This list was generated on Sat Jun 14 12:21:26 2025 BST.
Jump to: Conference Proceedings
Number of items: 1.

Conference Proceedings

Alsubhi, Arwa Hameed and Dardha, Ornela ORCID logoORCID: https://orcid.org/0000-0001-9927-7875 (2024) Coconut: Typestates for Embedded Systems. In: 26th International Conference on Coordination Models and Languages (COORDINATION 2024), Groningen, The Netherlands, 17-21 June 2024, (Accepted for Publication)

This list was generated on Sat Jun 14 12:21:26 2025 BST.

Supervisors