Specification composition for the verification of message passing program composition

  • Authors:

  • J. Y. Cotronis;Z. Tsiatsoulis

  • Affiliations:

  • Univ. of Athens, Athens, Greece;Univ. of Athens, Athens, Greece

  • Venue:
  • ENCRESS '97 IFIP TC5 WG5.4 3rd internatinal conference on on Reliability, quality and safety of software-intensive systems
  • Year:
  • 1997

Quantified Score

Hi-index 0.00

Visualization

Abstract