Marco Montali

Specification and Verification of Declarative Open Interaction Models - A Logic-based framework.
. University of Bologna, Italy, (2009)base-search.net (ftunivbologntesi:oai:amsdottorato.cib.unibo.it:1829).
  •  Doctoral advisor:
  •  First reviewer:
  •  Reviewer:
  •  Advisor:
  •  Author: Marco Montali
  •  Editor:
  •  Other:
more

No resources found