Pierce, K. and Hallerstede, S. (2013) “Proceedings of the 11th Overture Workshop”, Technical Report Electronics and Computer Engineering, 2(17). Available at: https://tidsskrift.dk/ece/article/view/21232 (Accessed: 24 November 2024).