Integrating object-oriented modeling techniques with formal specification techniques

2016-08-082016-08-08https://digital.cic.gba.gob.ar/handle/11746/3428Integrating object-oriented modeling techniques with formal specification techniquesDocumento de conferencia