@inproceedings{cisuc-1078-2006,
author={Silva, J.G.B.d. and Paulo Rupino da Cunha },
title={Reconciling the irreconcilable? A software development approach that combines Agile with Formal},
booktitle={Hawaii International Conference on System Sciences (HICSS)},
year=2006,
address={n/a},
}
@inproceedings{cisuc-1096-2005,
author={Silva, J.G.B.d. and Paulo Rupino da Cunha },
title={Uma Dieta Sem Sacrifícios. Como agilizar uma empresa altamente formal},
booktitle={Conferência da Associação Portuguesa de Sistemas de Informação (CAPSI)},
year=2005,
address={n/a},
}