Proceedings of the Twelfth ACMIEEE Conference on Formal Methods and Models for Codesign
ACM Digital Library