Contenuti del sito
- JavaBase - Guida alle basi del linguaggio Java - 2006
- Sicurezza delle Smart Card - Articolo e presentazione collegata - 2011
- ListSAT - A program for checking satisfiability of formulae in the union of EUF and list theories - 2011
- TeePee - A small theorem prover - 2012