TY - CONF T1 - Toward Automated Compliance Checking of Fund Activities Using Runtime Verification Techniques JO - Proceedings of the 1st IEEE/ACM Workshop on Software Engineering Challenges in Financial Firms UR - http://dx.doi.org/10.1145/3643665.3648045 PY - 2024/08/09 AU - Ceci M AU - Sannier N AU - Abualhaija S AU - Shin D AU - Bianculli D AU - Halling M ED - DO - DOI: 10.1145/3643665.3648045 PB - ACM VL - 18 SP - 19 EP - 20 Y2 - 2024/12/26 ER -