Proceedings of the 5th IEEEACM International Conference on Formal Methods and Models for Codesign
ACM Digital Library