Fabio Mogavero

• Logics in Computer Science