Modal Logic as a Software Engineering Tool

Areces, C. and Hirsch, D.. 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: (download)

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

Generated by bib2html.pl (written by Patrick Riley) on Sun Oct 02, 2016 17:05:49