TY  - JOUR

T1  - Special section of Tests and Proofs 2016

JO  - Formal Aspects of Computing

UR  - https://doi.org/10.1007/s00165-018-0474-2

PY  - 2018/11/13

AU  - Aichernig BK

AU  - Furia CA

AU  - Gaudel M-C

AU  - Hierons R

ED  - 

DO  - DOI: 10.1007/s00165-018-0474-2

PB  - Association for Computing Machinery (ACM)

VL  - 30

IS  - 6

SP  - 627

EP  - 628

Y2  - 2025/11/05

ER  -