Proceedings of the 7th IEEEACM international conference on Formal Methods and Models for Codesign
ACM Digital Library