Connectors as designs: Modeling, refinement and test case generation

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

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

Originalspracheenglisch
Seiten (von - bis)799-822
FachzeitschriftScience of computer programming
Jahrgang77
Ausgabenummer7/8
DOIs
PublikationsstatusVeröffentlicht - 2012

Fields of Expertise

  • Information, Communication & Computing

Treatment code (Nähere Zuordnung)

  • Application

Dieses zitieren