Modal logic as a software engineering tool

Authors
  • D. Hirsch
  • D. Yankelich
  • M. Felder
  • C.E. Areces
Publication date 1997
Book title Proceedings Workshop in Formal Methods for the Design of Real-Time Systems
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Document type Chapter
Note Gebeurtenis: Third IEEE International Conference on Engineering of Complex Computer Systems (ICECCS)
Permalink to this page
Back