Notations in Matching Logic
Channel: Runtime Verification
Date: 2022-07-28

Professor Grigore Rosu and Xiaohong Chen (University of Illinois at Urbana-Champaign) in conversation about notations in matching logic.