publicações selecionadas artigo académico GammaPolarSlicer. Computer Science and Information Systems. 2011 documento Contract-based slicing helps on safety reuse 2010
outras atividades de investigação CROSS - An Infrastructure for Certification and Re-engineering of Open Source Software