On composing and proving the correctness of reactive behavior

  • David Harel
  • , Amir Kantor
  • , Guy Katz
  • , Assaf Marron
  • , Lior Mizrahi
  • , Gera Weiss

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

36 Scopus citations

Fingerprint

Dive into the research topics of 'On composing and proving the correctness of reactive behavior'. Together they form a unique fingerprint.

Keyphrases

Computer Science