@article{article, title = {{Special section of Tests and Proofs 2016.}}, url = {{}}, year = {{2018}}, month = {{1}}, author = {{Aichernig BK and Furia CA and Gaudel M-C and Hierons RM}}, volume = {{30}}, journal = {{Formal Asp. Comput.}}, pages = {{627-628}}, note = {{Accessed on 2024/12/22}}}