Guest Editorial

Kamel Barkaoui, Manfred Broy, Ana Cavalcanti, Antonio Cerone. Guest Editorial. Formal Asp. Comput., 20(4-5):349-350, 2008. [doi]

Abstract

Abstract is missing.