All Stories

  1. Symboleo2SC

    Article • October 2022, ACM (Association for Computing Machinery)

    Marco Roveri, DR Amal Ahmed Anda, Marco Roveri

  2. Model-checking legal contracts with SymboleoPC

    Article • October 2022, ACM (Association for Computing Machinery)

    Marco Roveri, Marco Roveri