Una teoría dinámica orientada a objetos como fundamento formal para el proceso de desarrollo de software basado en modelos

2016-07-152016-07-15https://digital.cic.gba.gob.ar/handle/11746/3193Una teoría dinámica orientada a objetos como fundamento formal para el proceso de desarrollo de software basado en modelosTesis de doctorado