Special section of Tests and Proofs 2016

Bernhard K. Aichernig; Carlo A. Furia; Marie Claude Gaudel; Rob Hierons

doi:10.1007/s00165-018-0474-2

Special section of Tests and Proofs 2016

Bernhard K. Aichernig^*, Carlo A. Furia, Marie Claude Gaudel, Rob Hierons

^*Korrespondierende/r Autor/-in für diese Arbeit

Institut für Softwaretechnologie (7160)

Publikation: Beitrag in einer Fachzeitschrift › Editorial › Begutachtung

Originalsprache	englisch
Seiten (von - bis)	627-628
Seitenumfang	2
Fachzeitschrift	Formal Aspects of Computing
Jahrgang	30
Ausgabenummer	6
DOIs	https://doi.org/10.1007/s00165-018-0474-2
Publikationsstatus	Veröffentlicht - 1 Nov. 2018

ASJC Scopus subject areas

Software
Theoretische Informatik

Zugriff auf Dokument

10.1007/s00165-018-0474-2

Andere Dateien und Links

http://www.scopus.com/inward/record.url?scp=85056429941&partnerID=8YFLogxK

Dieses zitieren

@article{3a8b402f8f8b463eaf96ab1ca3b85fb7,

title = "Special section of Tests and Proofs 2016",

author = "Aichernig, {Bernhard K.} and Furia, {Carlo A.} and Gaudel, {Marie Claude} and Rob Hierons",

year = "2018",

month = nov,

day = "1",

doi = "10.1007/s00165-018-0474-2",

language = "English",

volume = "30",

pages = "627--628",

journal = "Formal Aspects of Computing",

issn = "0934-5043",

publisher = "Springer",

number = "6",

}

TY - JOUR

T1 - Special section of Tests and Proofs 2016

AU - Aichernig, Bernhard K.

AU - Furia, Carlo A.

AU - Gaudel, Marie Claude

AU - Hierons, Rob

PY - 2018/11/1

Y1 - 2018/11/1

UR - http://www.scopus.com/inward/record.url?scp=85056429941&partnerID=8YFLogxK

U2 - 10.1007/s00165-018-0474-2

DO - 10.1007/s00165-018-0474-2

M3 - Editorial

AN - SCOPUS:85056429941

SN - 0934-5043

VL - 30

SP - 627

EP - 628

JO - Formal Aspects of Computing

JF - Formal Aspects of Computing

IS - 6

ER -