Semantics, calculi, and analysis for object-oriented specifications
Guardado en:
| Publicado en: | Acta Informatica vol. 46, no. 4 (Jul 2009), p. 255-284 |
|---|---|
| Autor principal: | |
| Otros Autores: | |
| Publicado: |
Springer Nature B.V.
|
| Materias: | |
| Acceso en línea: | Citation/Abstract Full Text Full Text - PDF |
| Etiquetas: |
Sin Etiquetas, Sea el primero en etiquetar este registro!
|