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

^*Corresponding author for this work

Institute of Software Technology (7160)

Research output: Contribution to journal › Editorial › peer-review

Original language	English
Pages (from-to)	627-628
Number of pages	2
Journal	Formal Aspects of Computing
Volume	30
Issue number	6
DOIs	https://doi.org/10.1007/s00165-018-0474-2
Publication status	Published - 1 Nov 2018

ASJC Scopus subject areas

Software
Theoretical Computer Science

Access to Document

10.1007/s00165-018-0474-2

Cite this

@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 -

Special section of Tests and Proofs 2016

ASJC Scopus subject areas

Access to Document

Other files and links

Cite this