Editorial

Ana Cavalcanti, Pedro Ribeiro 0002. Editorial. Formal Asp. Comput., 32(2):155, 2020. [doi]

Abstract

Abstract is missing.