TY  - JOUR

T1  - Special section of Tests and Proofs 2016.

JO  - Formal Asp. Comput.

PY  - 2018/01/01

AU  - Aichernig BK

AU  - Furia CA

AU  - Gaudel M-C

AU  - Hierons RM

ED  - 

VL  - 30

SP  - 627

EP  - 628

Y2  - 2024/12/22

ER  -