Antonio Ravara from Universidade NOVA de Lisboa and Mario Bravetti from University of Bologona, in collaboration with Caixa Mágica Software, presented their tool JaTyC at INNCYBER 2023. JaTyC statically verifies
Antonio Ravara from Universidade NOVA de Lisboa and Mario Bravetti from University of Bologona, in collaboration with Caixa Mágica Software, presented their tool JaTyC at INNCYBER 2023. JaTyC statically verifies