Verifying the Construction of a Software Model from a Requirements Model

Condori Fernández Olinda Nelly, Pastor López Oscar

2006

Cadernos do IME - Série Informática