La Lógica Modal como Herramienta de Ingenier\'ia de Software

C. Areces and D. Hirsch. La Lógica Modal como Herramienta de Ingenier\'ia de Software. Master's Thesis, Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Computación,1996.

Download

(unavailable)

Abstract

(unavailable)

BibTeX

@MastersThesis{Areces1996,
  author =       "C. Areces and D. Hirsch",
  school =       "Universidad de Buenos Aires. Facultad de Ciencias
                 Exactas y Naturales. Departamento de Computaci{\'o}n",
  title =        "La {L}{\'o}gica Modal como Herramienta de
                 Ingenier{\'i}a de Software",
  year =         "1996",
}