Matteo Sammartino

Search results

• Finished

  CLeVer: Verification of Hardware Concurrency via Model Learning

  Sammartino, M. (PI)

  Eng & Phys Sci Res Council EPSRC

  6/01/20 → 31/03/25

  Project: Research