Special section of Tests and Proofs 2016

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

Research output: Contribution to journalEditorialResearchpeer-review

Original languageEnglish
Pages (from-to)627-628
Number of pages2
JournalFormal aspects of computing
Volume30
Issue number6
DOIs
Publication statusPublished - 1 Nov 2018

ASJC Scopus subject areas

  • Software
  • Theoretical Computer Science

Cite this