Modal Logic as a Software Engineering Tool

C. Areces and D. Hirsch. Modal Logic as a Software Engineering Tool. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Computación, 1996.

Download

[pdf] 

Abstract

(unavailable)

BibTeX

@TechReport{Areces1996a,
  author =       "C. Areces and D. Hirsch",
  institution =  "Universidad de Buenos Aires. Facultad de Ciencias
                 Exactas y Naturales. Departamento de Computaci{\'o}n",
  title =        "Modal Logic as a Software Engineering Tool",
  year =         "1996",
}