publicações selecionadas
-
artigo académico
- A Hilbert-Style Axiomatisation for Equational Hybrid Logic. Journal of Logic Language and Information. 2014
-
artigo de conferência
- An Institution for Alloy and Its Translation to Second-Order Logic. Advances in Intelligent Systems and Computing. 2013
- Precise duty-cycle measurement for time of transit ultrasound flowmeters 2010
-
documento