publicações selecionadas
-
artigo de conferência
- Verified Password Generation from Password Composition Policies. International Journal on Software Tools for Technology Transfer. 2022
- Logic training through algorithmic problem solving. International Journal on Software Tools for Technology Transfer. 2011
- Camila Revival: VDM meets Haskell 2005
-
capítulo de livro
-
documento
- Structure editing of handwritten mathematics: improving the computer support for the calculational method 2014
- The magic of algorithm design and analysis: teaching algorithmic skills using magic card tricks 2014
- Which mathematics for the Information Society?. International Journal on Software Tools for Technology Transfer. 2009
- Camila revival: VDM meets haskell 2005