All Stories

  1. Proving Confluence in the Confluence Framework with CONFident

    Article • Fundamenta Informaticae, September 2024, IOS Press

    Salvador Lucas