Proceedings of the 14th Conference on Formal Methods in Computer-Aided Design
ACM Digital Library