Nuno Jardim Nunes
2 published titles
Interactive systems : design, specification, and verification : 10th international workshop, DSV-IS 2003, Funchal, Madeira Islands, Portugal, June 11-13, 2003 : revised papers
(Contributor)
1 edition
- ISBN: 3540201599
- Springer
- 2003
- Details
UML modeling languages and applications : "UML" 2004 Satellite Activities, Lisbon, Portugal, October 11-15, 2004 ; revised selected papers
(Contributor)
1 edition
- ISBN: 3540250816
- Springer
- 2005
- Details
