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/13 ER -