Special section of Tests and Proofs 2016

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

*Corresponding author for this work

Research output: Contribution to journalEditorialpeer-review

Original languageEnglish
Pages (from-to)627-628
Number of pages2
JournalFormal Aspects of Computing
Issue number6
Publication statusPublished - 1 Nov 2018

ASJC Scopus subject areas

  • Software
  • Theoretical Computer Science

Cite this