Connectors as designs: Modeling, refinement and test case generation

Meng Sun, Farhad Arbab, Bernhard Aichernig, Lacramioara Astefanoaei, Frank S. de Boer, Jan Rutten

Research output: Contribution to journalArticlepeer-review

Original languageEnglish
Pages (from-to)799-822
JournalScience of computer programming
Issue number7/8
Publication statusPublished - 2012

Fields of Expertise

  • Information, Communication & Computing

Treatment code (Nähere Zuordnung)

  • Application
  • Formal Methods

    Lucas, P., Lorber, F. L., Jöbstl, E. & Aichernig, B.

    1/01/95 → …

    Project: Research area

Cite this