Editorial

Ewen Denney, Perdita Stevens, Andrzej Wasowski. Editorial. Formal Asp. Comput., 30(1):1, 2018. [doi]

Abstract

Abstract is missing.