Special section of Tests and Proofs 2016

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

Research output: Contribution to journalEditorialResearchpeer-review

LanguageEnglish
Pages627-628
Number of pages2
JournalFormal aspects of computing
Volume30
Issue number6
DOIs
StatusPublished - 1 Nov 2018

ASJC Scopus subject areas

  • Software
  • Theoretical Computer Science

Cite this

Aichernig, B. K., Furia, C. A., Gaudel, M. C., & Hierons, R. (2018). Special section of Tests and Proofs 2016. Formal aspects of computing, 30(6), 627-628. DOI: 10.1007/s00165-018-0474-2

Special section of Tests and Proofs 2016. / Aichernig, Bernhard K.; Furia, Carlo A.; Gaudel, Marie Claude; Hierons, Rob.

In: Formal aspects of computing, Vol. 30, No. 6, 01.11.2018, p. 627-628.

Research output: Contribution to journalEditorialResearchpeer-review

Aichernig, BK, Furia, CA, Gaudel, MC & Hierons, R 2018, 'Special section of Tests and Proofs 2016' Formal aspects of computing, vol. 30, no. 6, pp. 627-628. DOI: 10.1007/s00165-018-0474-2
Aichernig BK, Furia CA, Gaudel MC, Hierons R. Special section of Tests and Proofs 2016. Formal aspects of computing. 2018 Nov 1;30(6):627-628. Available from, DOI: 10.1007/s00165-018-0474-2
Aichernig, Bernhard K. ; Furia, Carlo A. ; Gaudel, Marie Claude ; Hierons, Rob. / Special section of Tests and Proofs 2016. In: Formal aspects of computing. 2018 ; Vol. 30, No. 6. pp. 627-628
@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 = "11",
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 London",
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

VL - 30

SP - 627

EP - 628

JO - Formal aspects of computing

T2 - Formal aspects of computing

JF - Formal aspects of computing

SN - 0934-5043

IS - 6

ER -