The K Summarizer
Channel: Runtime Verification
Date: 02/08/2022

Professor Grigore Rosu, Everett Hildenbrandt,  Nishant Rodrigues, and Xiaohong Chen (University of Illinois at Urbana-Champaign) in conversation about the K Summarizer.